An open API service providing repository metadata for many open source software ecosystems.

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