Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with truth-tree
A curated list of projects in awesome lists tagged with truth-tree .
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: 03 Aug 2024
