Pinned Loading

1. ocaml/dune ocaml/dune Public

   A composable build system for OCaml.

   OCaml 1.8k 462

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 709

3. rocq-community/rocq-lsp rocq-community/rocq-lsp Public

   Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

   OCaml 196 51

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

   A Coq library for Homotopy Type Theory

   Rocq Prover 1.4k 201

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

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

   Makefile 12 2