Deducteam

Popular repositories Loading

1. lambdapi lambdapi Public

   Proof assistant based on the λΠ-calculus modulo rewriting

   OCaml 401 44

2. Dedukti Dedukti Public

   Type-checker for the λΠ-calculus modulo rewriting

   OCaml 238 28

3. Logipedia Logipedia Public

   An encyclopedia of proofs

   OCaml 67 12

4. Agda2Dedukti Agda2Dedukti Public

   Haskell 22 5

5. zenon_modulo zenon_modulo Public

   First-order automated theorem prover based on the tableau method

   OCaml 19 7

6. Lean4Less Lean4Less Public

   A translation framework for eliminating definitional equalities in Lean

   Lean 16 1