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 52 13

2. ATP_Proofs ATP_Proofs Public

   Forked from JUrban/ATP_Proofs

   Interesting ATP Proofs

   13 3

3. oeis-atp-benchmark oeis-atp-benchmark Public

   The OEIS Benchmark for Inductive Theorem Proving

   SMT 7 1

4. enigmatic enigmatic Public

   Python 4 3

5. grackle grackle Public

   Python 3 2

6. enigma enigma Public

   ENIGMA: Inference Guiding Machine

   Python 3 1