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 42 11

2. ATP_Proofs ATP_Proofs Public

   Forked from JUrban/ATP_Proofs

   Interesting ATP Proofs

   13 3

3. enigmatic enigmatic Public

   Python 4 3

4. grackle grackle Public

   Python 3 2

5. eprover eprover Public

   Forked from eprover/eprover

   C 2 2

6. enigma enigma Public

   ENIGMA: Inference Guiding Machine

   Python 2 1