coqorg/coq

Docker images of Coq (v. 8.4 to 8.20): a Rocq-community project

Latest release: 9 months ago - 1,008,680 downloads - 211 dependencies

More details on packages.ecosyste.ms - JSON

Versions