A repository to store Z3-python scripts you can use as examples, reminders, whatever.
-
Updated
Aug 22, 2020 - Python
#
theorem-prover
Here are 12 public repositories matching this topic...
Resolution theorem proving for predicate logic in pure Python.
-
Updated
Nov 20, 2023 - Python
Tiny theorem prover with syntax like Lean 4 in <1K LOC
-
Updated
Jul 21, 2025 - Python
Python Symbolic Information Theoretic Inequality Prover
-
Updated
Jun 10, 2025 - Python
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
proof logic first-order-logic model-checking propositional-logic model-checker model-extraction modal-logic theorem-prover intuitionistic-logic predicate-logic classical-logic analytic-tableaux model-generation
-
Updated
Aug 22, 2025 - Python
Autonomous Theorem Prover for First Order Predicate Logic
ai theorem-proving first-order-logic artificial-intelligence tautology theorem-prover first-order-unification subsumption first-order-substitution tautology-checking most-general-unifier subsumption-elimination
-
Updated
Jun 29, 2020 - Python
Theorem prover for a clause logic using the resolution principle.
-
Updated
May 21, 2019 - Python
"Natural" Natural Deduction: a Theorem Prover for Propositional Logic
-
Updated
Jun 30, 2021 - Python
This project is aimed at developing a program to evaluate the truth-value of sentences in First-Order Logic and construct proofs.
-
Updated
Oct 26, 2021 - Python
A simple theorem prover for Coq.
-
Updated
Jan 17, 2021 - Python
Simple Hilbert-style prover for implicational fragment.
-
Updated
Jul 13, 2022 - Python
Improve this page
Add a description, image, and links to the theorem-prover topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the theorem-prover topic, visit your repo's landing page and select "manage topics."