bgregoir

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.
Language:OCaml0 0 00
equality
Language:Coq0 3 00
math-comp
Mathematical Components
Language:Coq0 0 00
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.
Language:OCaml4.8k 103 10.1k649
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
Language:OCaml318 21 24749
libjade
Crypto library
Language:C52 15 1220
jasmin
Language for high-assurance and high-speed cryptography
Language:Coq268 11 28455
coq-elpi
Coq plugin embedding elpi
Language:Coq139 10 18151
native-coq
Coq with native compilation, as well as machine integers and arrays !
Language:OCaml62 14 1014
libjc
Language:eC19 10 22

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.
Language:OCaml0 0 00
bgregoir/equality
Language:Coq0 3 00
bgregoir/math-comp
Mathematical Components
Language:Coq0 0 00