Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / proof-ninja / coq-result
The Result Type for Coq
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/proof-ninja%2Fcoq-result
Stars: 3
Forks: 0
Open Issues: 0
License: None
Language: Coq
Repo Size: 5.86 KB
Dependencies: pending
Created: over 4 years ago
Updated: over 2 years ago
Last pushed: about 3 years ago
Last synced: over 1 year ago
Files
Loading...
Readme
Loading...