Search Docker Hub
Community User
Inria
France
Displaying 1 to 4 of 4 repositories
a coq session for use with vs code during teaching sessions
1y
1.1K
6y
124
A simple ubuntu image with agda and cubical already compiled
0
images with coq and some pre-compiled libraries
9y
296