Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / coq-community / gaia
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/coq-community%2Fgaia
Stars: 25
Forks: 4
Open Issues: 0
License: mit
Language: Coq
Repo Size: 1.94 MB
Dependencies:
0
Created: almost 4 years ago
Updated: 4 months ago
Last pushed: 6 months ago
Last synced: about 1 month ago
Topics: bourbaki, coq, docker-coq-action, mathcomp, mathcomp-ci, set-theory, ssreflect
Files
No dependencies found