Pinned Loading

1. Leo-III Leo-III Public

   An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

   Scala 55 13

2. scala-tptp-parser scala-tptp-parser Public

   A parser for the TPTP logic languages for automated theorem proving written in Scala

   Scala 7 6

3. logic-embedding logic-embedding Public

   Library and application for encoding non-classical logics into classical logics.

   Scala 11 3

4. noergler noergler Public

   General purpose TSTP proof checker

   OpenEdge ABL 2