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