Popular repositories

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 31 10

2. ATP_Proofs ATP_Proofs Public

   Forked from JUrban/ATP_Proofs

   Interesting ATP Proofs

   12 3

3. enigmatic enigmatic Public

   Python 3 3

4. grackle grackle Public

   Python 2 2

5. BliStrTune BliStrTune Public

   Hierarchical invention of targeted E prover strategies

   Perl 1 1

6. eprover eprover Public

   Forked from eprover/eprover

   C 1 2