Pinned Repositories
coq-nix-toolbox
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
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.
Arezzo
The Arezzo classical harmony e-learning platform
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.
coq-nix-toolbox
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
math-comp
Mathematical Components
mech.v
A Coq/Mathematical Components library for mechanism design
pmFaust
VCG_Stable
Formalization of Vickrey-Clarke-Groves auction algorithm and mechanism (this repository is here for reference only; see mech.v for an up-to-date version)
math-comp
Mathematical Components
jouvelot's Repositories
jouvelot/mech.v
A Coq/Mathematical Components library for mechanism design
jouvelot/VCG_Stable
Formalization of Vickrey-Clarke-Groves auction algorithm and mechanism (this repository is here for reference only; see mech.v for an up-to-date version)
jouvelot/Arezzo
The Arezzo classical harmony e-learning platform
jouvelot/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.
jouvelot/coq-nix-toolbox
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
jouvelot/math-comp
Mathematical Components
jouvelot/pmFaust