Reviews
Tricks you wish the Coq manual told you [maintainer=@tchajed]
Search similar apps
License
MIT License
Related apps
paramcoq
Coq plugin for parametricity [maintainer=@proux01]
Coq44other
3 months ago
coqcoq-cicoq-platform
vscoq
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynh
OCaml325mit
3 months ago
coqeditorvscode
lemma-overloading
Libraries demonstrating design patterns for programming and proving with canonic
Coq26other
3 years ago
automationcanonical-structurescoq
aac-tactics
Coq plugin providing tactics for rewriting universally quantified equations, mod
OCaml29other
3 months ago
coqcoq-cicoq-platform
awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects,
301cc0-1.0
3 months ago
awesomeawesome-listcoq
coq-art
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
Coq105mit
3 months ago
coqcoq-artdocker-coq-action
docker-coq
Docker images of the Coq proof assistant (see also: https://github.com/coq-commu
Dockerfile37bsd-3-clause
3 months ago
cicoqdocker-coq