Pinned Loading

1. 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.4k 721

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

   The Rocq Prover bot

   OCaml 26 16

3. rocq-community/manifesto rocq-community/manifesto Public

   Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.

   69 6

4. rocq-community/templates rocq-community/templates Public

   Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]

   Mustache 16 11

5. rocq-community/coq-nix-toolbox rocq-community/coq-nix-toolbox Public

   Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]

   Nix 50 21

6. thesis thesis Public

   Notebooks from my PhD thesis

   Jupyter Notebook 2