Community User
Displaying 1 to 3 of 3 repositories
Version 8.6.1 of Coq, installed along with CoqIDE, Coquelicot, and GeoCoq.
3y
222
Version 8.18.0 of Coq, installed along with CoqIDE.
3y
161
A simple base image for compiling my write-up-lintrans PDF with TeXlive.
3y
872