Pinned Loading

1. coq-dpdgraph coq-dpdgraph Public

   Forked from rocq-community/coq-dpdgraph

   Build dependency graphs between COQ objects

   Coq 1

2. mcb mcb Public

   Forked from math-comp/mcb

   Mathematical Components (the Book)

   TeX

3. opam-coq-archive opam-coq-archive Public

   Forked from rocq-prover/opam

   Archive for all Coq related OPAM packages organized in various repositories

   JavaScript 2

4. coq coq Public

   Forked from rocq-prover/rocq

   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. math-comp math-comp Public

   Forked from math-comp/math-comp

   Mathematical Components

   Coq

6. practical-fm practical-fm Public

   Forked from ligurio/practical-fm

   A gently curated list of companies using verification formal methods in industry