Pinned Loading

1. leoprover/Leo-III leoprover/Leo-III Public

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

   Scala 57 13

2. leoprover/scala-tptp-parser leoprover/scala-tptp-parser Public

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

   Scala 7 6

3. leoprover/rio leoprover/rio Public

   A reasoner for Input/Output logic

   Scala 4

4. leoprover/logic-embedding leoprover/logic-embedding Public

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

   Scala 12 3

5. leoprover/noergler leoprover/noergler Public

   General purpose TSTP proof checker

   OpenEdge ABL 2