Ecosyste.ms: Repos

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

GitHub / UCSD-PL / proverbot9001

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/UCSD-PL%2Fproverbot9001

Stars: 38
Forks: 17
Open Issues: 7

License: gpl-3.0
Language: Coq
Repo Size: 211 MB
Dependencies: 11

Created: about 7 years ago
Updated: 3 days ago
Last pushed: 3 days ago
Last synced: 3 days ago

Files
    Loading...
    Readme
    Loading...
    Dependencies
    requirements.txt pypi
    coq-projects/system/Dockerfile docker