Popular repositories Loading

1. mech.v mech.v Public

   A Coq/Mathematical Components library for mechanism design

   Coq 7 2

2. VCG_Stable VCG_Stable Public

   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)

   Coq 1

3. pmFaust pmFaust Public

   Forked from rmichon/pmFaust

   TeX

4. coq coq Public

   Forked from coq/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 develo…

   OCaml

5. coq-nix-toolbox coq-nix-toolbox Public

   Forked from coq-community/coq-nix-toolbox

   Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]

   Nix

6. math-comp math-comp Public

   Forked from math-comp/math-comp

   Mathematical Components

   Coq