Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / Alizter / multinomials
Multinomials for the Mathematical Components library.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Alizter%2Fmultinomials
Fork of math-comp/multinomials
Stars: 0
Forks: 0
Open Issues: 0
License: other
Language: Coq
Repo Size: 1.24 MB
Dependencies: pending
Created: about 2 years ago
Updated: about 1 year ago
Last pushed: 6 months ago
Last synced: 6 months ago
Files
Loading...
Readme
Loading...