jouvelot's repositories
Arezzo
The Arezzo classical harmony e-learning platform
Language:JavaGPL-3.0000
math-comp
Mathematical Components
Language:Coq000
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:OCamlLGPL-2.1000
coq-nix-toolbox
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
Language:NixMIT000
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)
Language:TeX000