Popular repositories Loading

1. 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…

   Coq

2. ocaml ocaml Public

   Forked from ocaml/ocaml

   The core OCaml system: compilers, runtime system, base libraries

   OCaml

3. www www Public

   Forked from rocq-prover/coq.github.io

   Source files of the coq.inria.fr website (static part)

   HTML

4. PG PG Public

   Forked from ProofGeneral/PG

   This repo is the new home of Proof General

   Emacs Lisp

5. ceps ceps Public

   Forked from rocq-prover/rfcs

   Coq Enhancement Proposals

6. Coq-Equations Coq-Equations Public

   Forked from mattam82/Coq-Equations

   A function definition package for Coq

   Coq