Pinned Repositories
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.
equality
math-comp
Mathematical Components
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.
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
libjade
Crypto library
jasmin
Language for high-assurance and high-speed cryptography
coq-elpi
Coq plugin embedding elpi
native-coq
Coq with native compilation, as well as machine integers and arrays !
libjc
bgregoir's Repositories
bgregoir/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.
bgregoir/equality
bgregoir/math-comp
Mathematical Components