Popular repositories Loading

1. tptp tptp Public

   Crate for reading TPTP files.

   Rust 14 4

2. lazycop lazycop Public

   A connection prover with lazy paramodulation.

   Rust 12

3. gnn-entailment gnn-entailment Public

   Graph Neural Networks for Logical Entailment

   Python 3 2

4. satcop satcop Public

   Connection tableaux with SAT solving.

   Rust 2

5. lerna lerna Public archive

   Proves theorems

   Rust 1

6. discrimination-tree discrimination-tree Public

   Implementation of discrimination trees for term indexing.

   Rust 1