Ecosyste.ms: Repos

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

GitHub / pro465 / nnoq

not noq

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

Stars: 4
Forks: 1
Open Issues: 1

License: gpl-3.0
Language: Rust
Repo Size: 94.7 KB
Dependencies: pending

Created: 11 months ago
Updated: 8 months ago
Last pushed: 7 months ago
Last synced: 4 days ago

Topics: proof-checker, proof-checking, proof-language, rust, simple, theorem-prover, theorem-proving

Files

Loading...

Readme

Loading...