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: 22 days ago - Pushed at: about 6 years ago - Stars: 18 - Forks: 1