analytic-tableaux

There are 1 repository under analytic-tableaux topic.

daviromero / anita
Analytic Tableau Proof Assistant (ANITA) is a tool for teaching Analytic Tableaux
logic analytic-tableaux proof-assistant teaching-tools
Language:Python 20
nclarius / pyPL
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
logic propositional-logic predicate-logic first-order-logic classical-logic intuitionistic-logic proof model-checking model-checker model-generation model-extraction analytic-tableaux modal-logic theorem-prover
Language:Python 18
tbitai / ruzsa
Analytic tableau proof editor for Tarski's World
logic education analytic-tableaux language-proof-and-logic lpl tarski fitch
Language:JavaScript 4
SukritiGupta / Logic
Logic for Computer Science course projects
first-order-logic logic analytic-tableaux propositional-logic natural-deduction
Language:OCaml 1
Larch
Larch-Team / Larch
Proof assistant created in the Plugin Oriented Programming paradigm
logic analytic-tableaux pop plugin-system python interactive-theorem-proving e-tutor
Language:Python 0
stevenwdv / asmsequent
Assembly sequent solver GUI
analytic-tableaux fasm
Language:Assembly 0
nclarius / nclarius
analytic-tableaux formal-semantics kde kde-plasma krunner kwin linux logic modal-logic model-generation moodle plasma teaching teaching-assistant teaching-tools window-management
Vedant2311 / SAT-solver-toolbox
Modeled the proof systems of Analytic-Tableaux, First-Order-Resolution, ROBDD etc. in Ocaml to efficiently solve the SAT problem
analytic-tableaux sat-solver hilbert-axioms natural-deduction resolution-proof propositional-logic proof-system robdd first-order-logic
Language:OCaml