agda2lagda

Uploads

• 0.2023.6.9-0 uploaded 2023-06-09T16:48:01.000Z by AndreasAbel. latest
• 0.2023.1.12-1 uploaded 2023-06-09T15:44:20.000Z by AndreasAbel.
• 0.2023.3.25-1 uploaded 2023-06-09T15:44:20.000Z by AndreasAbel.
• 0.2020.11.1-1 uploaded 2023-06-09T15:44:19.000Z by AndreasAbel.
• 0.2021.6.1-1 uploaded 2023-06-09T15:44:19.000Z by AndreasAbel.
• 0.2023.3.25-0 uploaded 2023-03-25T18:21:26.000Z by AndreasAbel.
• 0.2023.1.12-0 uploaded 2023-01-12T14:32:55.000Z by AndreasAbel.
• 0.2021.6.1-0 uploaded 2021-06-01T06:39:12.000Z by AndreasAbel.
• 0.2020.11.1-0 uploaded 2020-10-31T23:56:39.000Z by AndreasAbel.

Uploaders

• AndreasAbel