Search Docker Hub
Community User
Displaying 1 to 1 of 1 repositories
A minimalistic image containing Agda, along with essential libraries such as agda-stdlib and cubical
2y
1.9K