Here are
8 public repositories
matching this topic...
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
Updated
Nov 28, 2024
Python
Analytic Tableau Proof Assistant (ANITA) is a tool for teaching Analytic Tableaux
Updated
Oct 30, 2023
Python
Analytic tableau proof editor for Tarski's World
Updated
Jan 16, 2021
JavaScript
Logic for Computer Science course projects
Updated
Dec 13, 2019
OCaml
Assembly sequent solver GUI
Updated
Jun 25, 2022
Assembly
Modeled the proof systems of Analytic-Tableaux, First-Order-Resolution, ROBDD etc. in Ocaml to efficiently solve the SAT problem
Updated
Jan 26, 2021
OCaml
Proof assistant created in the Plugin Oriented Programming paradigm
Updated
Feb 16, 2023
Python
Improve this page
Add a description, image, and links to the
analytic-tableaux
topic page so that developers can more easily learn about it.
Curate this topic
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."
Learn more
You can’t perform that action at this time.