Skip to content
@leoprover

Leo provers and associated projects

LEO-II and Leo-III are automated theorem provers for classical higher-order logic.

Pinned Loading

  1. Leo-III Leo-III Public

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

    Scala 42 10

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

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

    Scala 5 5

  3. logic-embedding logic-embedding Public

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

    Scala 6 2

Repositories

Showing 10 of 12 repositories
  • Leo-III Public

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

    leoprover/Leo-III’s past year of commit activity
    Scala 42 BSD-3-Clause 10 11 0 Updated Sep 26, 2024
  • ask Public

    Stand-alone Skolemizer for TPTP formulas

    leoprover/ask’s past year of commit activity
    Scala 0 MIT 0 0 0 Updated Aug 23, 2024
  • scala-tptp-parser Public

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

    leoprover/scala-tptp-parser’s past year of commit activity
    Scala 5 MIT 5 0 1 Updated Aug 13, 2024
  • tptp-parser Public archive

    TPTP Parser

    leoprover/tptp-parser’s past year of commit activity
    C++ 3 BSD-3-Clause 1 0 0 Updated Jul 10, 2024
  • logic-embedding Public

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

    leoprover/logic-embedding’s past year of commit activity
    Scala 6 BSD-3-Clause 2 0 0 Updated May 8, 2024
  • tptp-utils Public

    Library for TPTP-related utility services

    leoprover/tptp-utils’s past year of commit activity
    Scala 2 MIT 0 0 0 Updated Feb 14, 2024
  • ddl2thf Public archive

    DDL2THF -- A preprocessor for translating problems in Dyadic Deontic Logic into THF problems

    leoprover/ddl2thf’s past year of commit activity
    Java 0 BSD-3-Clause 0 0 0 Updated Mar 16, 2022
  • embed_modal Public

    A tool for translating higher-order modal logic problems into classical higher-order logic

    leoprover/embed_modal’s past year of commit activity
    Python 5 BSD-3-Clause 2 2 1 Updated Jan 19, 2021
  • tptp Public

    TPTP python library and benchmarking service

    leoprover/tptp’s past year of commit activity
    Python 11 BSD-3-Clause 2 0 0 Updated Oct 2, 2019
  • ltb Public

    Batch reasoning framework

    leoprover/ltb’s past year of commit activity
    OpenEdge ABL 0 BSD-3-Clause 0 1 0 Updated Oct 1, 2019

Top languages

Loading…

Most used topics

Loading…