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