Popular repositories Loading

1. tptp tptp Public

   Crate for reading TPTP files.

   Rust 15 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 3

5. temporal-graph-nn temporal-graph-nn Public

   experiments with temporal graph networks

   Python 2

6. lerna lerna Public archive

   Proves theorems

   Rust 1