4 results found Sort:

ProofGeneral
PG ProofGeneral
85
481
gpl-3.0
13
This repo is the new home of Proof General
coq emacs proof-general proof-assistant docker-coq-action integrated-development-environment
Created 2015-09-21
9,421 commits to master branch, last one 10 days ago
coq-community
coq-art coq-community
20
104
mit
8
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
coq coq-art exercises docker-coq-action
Created 2019-07-28
95 commits to master branch, last one 5 months ago
coq-community
coq-dpdgraph coq-community
28
84
lgpl-2.1
8
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
coq coq-ci coq-platform dependency-graph docker-coq-action dependency-analysis
Created 2014-02-26
269 commits to coq-master branch, last one 3 months ago
coq-community
hydra-battles coq-community
12
60
mit
8
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
coq formal-proofs hydra-battles coq-nix-toolbox docker-coq-action ordinal-notations discrete-mathematics primitive-recursive-functions
Created 2020-10-20
1,855 commits to master branch, last one 4 months ago