truth-tree topic
List
truth-tree repositories
logic-rs
20
Stars
1
Forks
20
Watchers
A parser of relational predicate logic & truth tree solver, written in Rust.
