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