analytic-tableaux | Topic | Ecosyste.ms: Repos

Topic: "analytic-tableaux"

Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions

Language: Python - Size: 6.22 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 19 - Forks: 2

Analytic Tableau Proof Assistant (ANITA) is a tool for teaching Analytic Tableaux

Language: Python - Size: 368 KB - Last synced at: 10 months ago - Pushed at: over 1 year ago - Stars: 19 - Forks: 0

Analytic tableau proof editor for Tarski's World

Language: JavaScript - Size: 1.17 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 1

Logic for Computer Science course projects

Language: OCaml - Size: 5.33 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

Proof assistant created in the Plugin Oriented Programming paradigm

Language: Python - Size: 15.3 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 0 - Forks: 1

Size: 23.4 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

Assembly sequent solver GUI

Language: Assembly - Size: 47.9 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

Modeled the proof systems of Analytic-Tableaux, First-Order-Resolution, ROBDD etc. in Ocaml to efficiently solve the SAT problem

Language: OCaml - Size: 67.4 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0