Ecosyste.ms: Repos

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

GitHub / pro465 / nyaya

proof language based on https://en.wikipedia.org/wiki/Sequent_calculus and https://us.metamath.org/.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pro465%2Fnyaya

Stars: 1
Forks: 0
Open Issues: 0

License: gpl-3.0
Language: Rust
Repo Size: 46.9 KB
Dependencies: 0

Created: 7 months ago
Updated: 5 months ago
Last pushed: 4 months ago
Last synced: 3 months ago

Topics: proof-checker, proof-checking, proof-languages, rust, simple, theorem-proving

Files
    Loading...
    Readme
    Loading...
    Dependencies
    Cargo.toml cargo
    Cargo.lock cargo