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