Popular repositories Loading

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

2. ultimate-utils ultimate-utils Public

   Forked from brando90/ultimate-utils

   Brando's utils

   Python 1

3. coqhammer coqhammer Public

   Forked from lukaszcz/coqhammer

   CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

   OCaml

4. zsearch-trees zsearch-trees Public

   Forked from rocq-archive/zsearch-trees

   Binary Search Trees

   Coq

5. strace-parser strace-parser Public

   Forked from chrahunt/strace-parser

   Python

6. coq-serapi coq-serapi Public

   Forked from rocq-archive/coq-serapi

   Coq Protocol Playground with Se(xp)rialization of Internal Structures.

   OCaml