5 skills found
daviromero / AnitaAnalytic Tableau Proof Assistant (ANITA) is a tool for teaching Analytic Tableaux
nclarius / PyPLAnalytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
tchap / Prolog TableauxMethod of analytic tableaux for a propositional logic
tbitai / RuzsaAnalytic tableau proof editor for Tarski's World
Introduction-to-Functional-Programming / Analytic TableauxMethod of analytic tableaux in Elixir