GitHub / coq / platform-docs
A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
JSON API: https://ecosystem.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:
172
Created at: about 1 year ago
Updated at: 3 months ago
Pushed at: 3 months ago
Last synced at: 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
- actions/checkout v4 composite
- actions/configure-pages v5 composite
- actions/deploy-pages v4 composite
- actions/download-artifact v4 composite
- actions/upload-artifact v4 composite
- actions/upload-pages-artifact v3 composite
- coq-community/docker-coq-action v1 composite
- @jscoq/equations ^0.17.1
- http-server ^14.1.0
- jscoq ^0.17.1
- wacoq-deps ^0.1.1