forked from rocq-prover/rocq
-
Notifications
You must be signed in to change notification settings - Fork 0
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
License
psteckler/coq
About
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Resources
License
Contributing
Stars
Watchers
Forks
Packages 0
No packages published
Languages
- OCaml 54.4%
- Rocq Prover 42.5%
- TeX 0.7%
- Shell 0.6%
- Emacs Lisp 0.5%
- C 0.4%
- Other 0.9%