Popular repositories Loading

1. Prover9 Prover9 Public

   Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.

   C 63 18

2. Megalodon Megalodon Public

   The Megalodon interactive theorem prover and proof checker

   OCaml 15 6

3. ATP_Proofs ATP_Proofs Public

   Forked from JUrban/ATP_Proofs

   Interesting ATP Proofs

   13 3

4. oeis-atp-benchmark oeis-atp-benchmark Public

   The OEIS Benchmark for Inductive Theorem Proving

   SMT 8 1

5. enigmatic enigmatic Public

   Python 5 4

6. grackle grackle Public

   Python 4 3