coqorg/coq

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

Latest release: about 1 year ago - 1,036,542 downloads - 211 dependencies