Popular repositories Loading

1. ProofGeneral ProofGeneral Public

   Forked from ProofGeneral/PG

   This repo is a fork of the Proof-General github repo. The `server-protocol' branch uses Coq's XML protocol, which support async processing

   Emacs Lisp 9

2. coq-8.4-timings coq-8.4-timings Public

   Backup for timing experiments for setoid_rewrite

   OCaml

3. 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

4. slow-coq-examples slow-coq-examples Public

   Forked from JasonGross/slow-coq-examples

   Examples of Coq being really slow

   Coq

5. www www Public

   Forked from rocq-prover/coq.github.io

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

   HTML

6. go-ethereum go-ethereum Public

   Forked from ethereum/go-ethereum

   Official Go implementation of the Ethereum protocol

   Go