formal-validity

There are 0 repository under formal-validity topic.

ixjf / logic-rs
A parser of relational predicate logic & truth tree solver, written in Rust.
logic rust parser formulas relational predicate first order first-order truth-tree consistency formal-validity validity contingency contradiction tautology pest wasm
Language:Rust 15