Skip to content
@leoprover

Leo provers and associated projects

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

Pinned

  1. Leo-III Leo-III Public

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

    Scala 41 8

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

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

    Scala 5 4

  3. logic-embedding logic-embedding Public

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

    Scala 4 2

Repositories

Showing 10 of 11 repositories
  • Leo-III Public

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

    Scala 41 BSD-3-Clause 8 11 0 Updated May 20, 2024
  • logic-embedding Public

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

    Scala 4 BSD-3-Clause 2 0 0 Updated May 8, 2024
  • tptp-utils Public

    Library for TPTP-related utility services

    Scala 1 MIT 0 0 0 Updated Feb 14, 2024
  • scala-tptp-parser Public

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

    Scala 5 MIT 4 0 1 Updated Mar 25, 2023
  • ddl2thf Public archive

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

    Java 0 BSD-3-Clause 0 0 0 Updated Mar 16, 2022
  • tptp-parser Public

    TPTP Parser

    C++ 3 BSD-3-Clause 1 0 0 Updated Mar 24, 2021
  • embed_modal Public

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

    Python 5 BSD-3-Clause 2 2 1 Updated Jan 19, 2021
  • tptp Public

    TPTP python library and benchmarking service

    Python 10 BSD-3-Clause 2 0 0 Updated Oct 2, 2019
  • ltb Public

    Batch reasoning framework

    OpenEdge ABL 0 BSD-3-Clause 0 1 0 Updated Oct 1, 2019
  • LEO-II Public archive

    LEO-II - A Higher-Order Theorem Prover

    OCaml 5 BSD-3-Clause 1 0 0 Updated Sep 25, 2017
View all repositories

Top languages

Loading…

Most used topics

Loading…