Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/ixjf/logic-rs

A parser of relational predicate logic & truth tree solver, written in Rust.

consistency contingency contradiction first first-order formal-validity formulas logic order parser pest predicate relational rust tautology truth-tree validity wasm

Last synced: 22 May 2024