Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / thery / mathcomp-extra
Extra contribution for mathcomp
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/thery%2Fmathcomp-extra
Stars: 5
Forks: 2
Open Issues: 1
License: mit
Language: Coq
Repo Size: 742 KB
Dependencies:
2
Created: almost 5 years ago
Updated: about 1 month ago
Last pushed: 4 months ago
Last synced: about 1 month ago
Topics: aks-algorithm, binomial, coq, fourier-transform, lucas-theorem, matroid, primality-test, rsa-algorithm, sorting-algorithms, theorem-proving
Files
Loading...
Readme
Loading...
Dependencies
- actions/checkout v2 composite
- coq-community/docker-coq-action v1 composite