Popular repositories

1. lambdapi lambdapi Public

   Proof assistant based on the λÎ?-calculus modulo rewriting

   OCaml 259 35

2. Dedukti Dedukti Public

   Implementation of the λÎ?-calculus modulo rewriting

   OCaml 186 22

3. Logipedia Logipedia Public

   An encyclopedia of proofs

   OCaml 56 11

4. Agda2Dedukti Agda2Dedukti Public

   Haskell 13 4

5. zenon_modulo zenon_modulo Public

   First-order automated theorem prover based on the tableau method

   OCaml 10 5

6. SizeChangeTool SizeChangeTool Public

   A termination checker for higher-order rewriting with dependent types

   OCaml 9