GAPT: General Architecture for Proof Theory
-
Updated
Dec 5, 2025 - Scala
#
theorem-proving
Here are 10 public repositories matching this topic...
An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
-
Updated
Oct 23, 2025 - Scala
An SMT Solver for string constraints
-
Updated
Nov 21, 2025 - Scala
A Scala library for controlling/interacting with Isabelle
-
Updated
Jun 11, 2025 - Scala
Lean type-checker written in Scala.
-
Updated
Mar 13, 2022 - Scala
A parser for the TPTP logic languages for automated theorem proving written in Scala
-
Updated
Mar 22, 2025 - Scala
Library for TPTP-related utility services
parser linter logic preprocessor theorem-proving tptp theorem-prover automated-reasoning predicate-logic
-
Updated
Nov 5, 2025 - Scala
How to use KeYmaera X as a library in a Scala code base.
-
Updated
Mar 24, 2018 - Scala
Prototype for LCF-style theorem proving, verified by the compiler and execution-less.
-
Updated
Nov 7, 2019 - Scala
Stand-alone Skolemizer for TPTP formulas
-
Updated
May 28, 2025 - Scala
Improve this page
Add a description, image, and links to the theorem-proving topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the theorem-proving topic, visit your repo's landing page and select "manage topics."