Pinned Loading

1. Leo-III Leo-III Public

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

   Scala 47 10

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

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

   Scala 6 6

3. logic-embedding logic-embedding Public

   Library and application for encoding non-classical logics into classical higher-order logic.

   Scala 8 2