Topic: "formal-validity"
ixjf/logic-rs
A parser of relational predicate logic & truth tree solver, written in Rust.
Language: Rust - Size: 3.26 MB - Last synced at: 11 months ago - Pushed at: about 6 years ago - Stars: 15 - Forks: 1

A parser of relational predicate logic & truth tree solver, written in Rust.
Language: Rust - Size: 3.26 MB - Last synced at: 11 months ago - Pushed at: about 6 years ago - Stars: 15 - Forks: 1