Pinned Loading

1. ocaml/dune ocaml/dune Public

   A composable build system for OCaml.

   OCaml 1.8k 456

2. rocq-prover/rocq rocq-prover/rocq Public

   The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

   OCaml 5.3k 701

3. ejgallego/rocq-lsp ejgallego/rocq-lsp Public

   Visual Studio Code Extension and Language Server Protocol for Rocq / Coq

   OCaml 192 50

4. HoTT/Coq-HoTT HoTT/Coq-HoTT Public

   A Coq library for Homotopy Type Theory

   Rocq Prover 1.4k 198

5. coq-universe/coq-universe coq-universe/coq-universe Public

   We aim to provide a composed build of all active Coq developments in existence

   Makefile 12 2