Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / coq-community / fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/coq-community%2Ffourcolor
Stars: 150
Forks: 19
Open Issues: 2
License: other
Language: Coq
Repo Size: 640 KB
Dependencies:
0
Created: over 5 years ago
Updated: about 1 month ago
Last pushed: about 1 month ago
Last synced: 29 days ago
Topics: coq, coq-ci, four-color-theorem, mathcomp, ssreflect
Files
Loading...
Readme
Loading...
No dependencies found