Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / Alizter / coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alizter%2Fcoq
Fork of coq/coq
Stars: 0
Forks: 0
Open Issues: 0
License: lgpl-2.1
Language: OCaml
Repo Size: 183 MB
Dependencies:
5
Created: about 4 years ago
Updated: 11 days ago
Last pushed: 11 days ago
Last synced: 10 days ago
Files
Dependencies
- eps1lon/actions-label-merge-conflict b8bf8341285ec9a4567d4318ba474fee998a6919 composite
- actions/checkout v3 composite
- actions/checkout v3 composite
- actions/upload-artifact v3 composite
- ubuntu bionic build