maximedenes/coq-amd64
Public repository.
Developer Profile
maximedenes
Discovered public repositories for maximedenes in the GitHub catalog.
maximedenes/coqFFI
Public repository.
maximedenes/cybele
A Coq plugin for simpler proofs by reflection or OCaml certificates.
maximedenes/repo-stable
The repository for stable Coq packages.
maximedenes/RelationExtraction
Inductive relations extraction plugin for Coq
maximedenes/coq-8.5-demo
Public repository.
maximedenes/coq
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.
maximedenes/native-coq
Coq with native compilation, as well as machine integers and arrays !