agda2train

Uploads

• 0.0.3.0-0 uploaded 2023-10-17T20:29:40.000Z by omelkonian. latest
• 0.0.2.0-0 uploaded 2023-10-17T19:52:20.000Z by omelkonian.
• 0.0.1.0-0 uploaded 2023-10-17T18:30:10.000Z by omelkonian.

Uploaders

• omelkonian