truth-tree

There are 3 repositories under truth-tree topic.

ixjf/logic-rs
A parser of relational predicate logic & truth tree solver, written in Rust.
Language:Rust17 2 191
bediger4000/tableaux-in-go
Prove propositional logic tautologies via Smullyan's tableaux method
Language:Go4 4 0
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:Java4 3 01