GitHub / coq / platform-docs
A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
JSON API: https://data.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Fplatform-docs
Stars: 21
Forks: 11
Open issues: 29
License: other
Language: Coq
Size: 187 KB
Dependencies parsed at: Pending
Created at: about 1 year ago
Updated at: 2 months ago
Pushed at: 2 months ago
Last synced at: about 2 months ago
Commit Stats
Commits: 66
Authors: 9
Mean commits per author: 7.33
Development Distribution Score: 0.576
More commit stats: https://commits.ecosystem.code.gouv.fr/hosts/GitHub/repositories/coq/platform-docs