Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / ixjf / logic-rs
A parser of relational predicate logic & truth tree solver, written in Rust.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ixjf%2Flogic-rs
Stars: 15
Forks: 1
Open Issues: 16
License: mit
Language: Rust
Repo Size: 3.26 MB
Dependencies: pending
Created: over 5 years ago
Updated: 22 days ago
Last pushed: about 5 years ago
Last synced: 4 days ago
Topics: consistency, contingency, contradiction, first, first-order, formal-validity, formulas, logic, order, parser, pest, predicate, relational, rust, tautology, truth-tree, validity, wasm