Popular repositories Loading

1. proof-tree proof-tree Public

   proof tree display for Proof General

   OCaml 7 2

2. PG PG Public

   Forked from ProofGeneral/PG

   This repo is the new home of Proof-General (http://proofgeneral.inf.ed.ac.uk/ will be updated soon)

   Emacs Lisp

3. ocaml ocaml Public

   Forked from ocaml/ocaml

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

   OCaml

4. hol-light hol-light Public

   Forked from jrh13/hol-light

   The HOL Light theorem prover (moved from Google code)

   Standard ML

5. coq-dpdgraph coq-dpdgraph Public

   Forked from coq-community/coq-dpdgraph

   Build dependency graphs between COQ objects

   Coq

6. cmdliner cmdliner Public

   Forked from dbuenzli/cmdliner

   Declarative definition of command line interfaces for OCaml

   OCaml