A parser for the TPTP logic languages for automated theorem proving written in Scala
-
Updated
Mar 22, 2025 - Scala
#
automated-reasoning
Here are 4 public repositories matching this topic...
Library for TPTP-related utility services
parser linter logic preprocessor theorem-proving tptp theorem-prover automated-reasoning predicate-logic
-
Updated
Oct 23, 2025 - Scala
Semester Project at LARA (EPFL)
-
Updated
Nov 21, 2020 - Scala
Stand-alone Skolemizer for TPTP formulas
-
Updated
May 28, 2025 - Scala
Improve this page
Add a description, image, and links to the automated-reasoning topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the automated-reasoning topic, visit your repo's landing page and select "manage topics."