GitHub topics: truth-tree
ixjf/logic-rs
A parser of relational predicate logic & truth tree solver, written in Rust.
Language: Rust - Size: 3.26 MB - Last synced at: about 1 month ago - Pushed at: about 6 years ago - Stars: 18 - Forks: 1
joshuacrotts/formal-logic-aiding-tutor
This is an extension of LLAT (the Logic-Learning Assistance Tool) which aims to improve its pedagogical value and UI, rather than being a mere solution provider.
Language: Java - Size: 32.7 MB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 1
bediger4000/tableaux-in-go
Prove propositional logic tautologies via Smullyan's tableaux method
Language: Go - Size: 229 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 0
