Analytic Tableau Proof Assistant (ANITA) is a tool for teaching Analytic Tableaux
-
Updated
Oct 30, 2023 - Python
#
analytic-tableaux
Here are 3 public repositories matching this topic...
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
Jul 5, 2026 - Python
Proof assistant created in the Plugin Oriented Programming paradigm
-
Updated
May 15, 2025 - Python
Add this topic to your repo
To associate your repository with the analytic-tableaux topic, visit your repo's landing page and select "manage topics."