Leo provers and associated projects

All

12 repositories

Leo-III
Public
An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
logic theorem-proving atp higher-order-logic reasoning deduction-system
Scala
•
BSD 3-Clause "New" or "Revised" License
•10•42•11•0•Updated Sep 26, 2024Sep 26, 2024
ask
Public
Stand-alone Skolemizer for TPTP formulas
logic theorem-proving artificial-intelligence tptp automated-reasoning skolemization
Scala
•
MIT License
•0•0•0•0•Updated Aug 23, 2024Aug 23, 2024
scala-tptp-parser
Public
A parser for the TPTP logic languages for automated theorem proving written in Scala
logic theorem-proving artificial-intelligence tptp automated-reasoning parser scala
Scala
•
MIT License
•5•5•0•1•Updated Aug 13, 2024Aug 13, 2024
tptp-parser
Public archive
TPTP Parser
C++
•
BSD 3-Clause "New" or "Revised" License
•1•3•0•0•Updated Jul 10, 2024Jul 10, 2024
logic-embedding
Public
Library and application for encoding non-classical logics into classical higher-order logic.
logic modal-logic reasoning non-classical-logics
Scala
•
BSD 3-Clause "New" or "Revised" License
•2•6•0•0•Updated May 8, 2024May 8, 2024
tptp-utils
Public
Library for TPTP-related utility services
logic theorem-proving tptp
Scala
•
MIT License
•0•2•0•0•Updated Feb 14, 2024Feb 14, 2024
ddl2thf
Public archive
DDL2THF -- A preprocessor for translating problems in Dyadic Deontic Logic into THF problems
theorem-proving higher-order-logic deontic-logic
Java
•
BSD 3-Clause "New" or "Revised" License
•0•0•0•0•Updated Mar 16, 2022Mar 16, 2022
embed_modal
Public
A tool for translating higher-order modal logic problems into classical higher-order logic
higher-order-logic modal-logic
Python
•
BSD 3-Clause "New" or "Revised" License
•2•5•2•1•Updated Jan 19, 2021Jan 19, 2021
tptp
Public
TPTP python library and benchmarking service
Python
•
BSD 3-Clause "New" or "Revised" License
•2•11•0•0•Updated Oct 2, 2019Oct 2, 2019
ltb
Public
Batch reasoning framework
OpenEdge ABL
•
BSD 3-Clause "New" or "Revised" License
•0•0•1•0•Updated Oct 1, 2019Oct 1, 2019
LEO-II
Public archive
LEO-II - A Higher-Order Theorem Prover
OCaml
•
BSD 3-Clause "New" or "Revised" License
•1•5•0•0•Updated Sep 25, 2017Sep 25, 2017
LeoPARD
Public archive
Leo's Parallal ARchitecture & Datastructures (LeoPARD)
Scala
•
BSD 3-Clause "New" or "Revised" License
•0•6•0•0•Updated Jan 4, 2016Jan 4, 2016