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