An open API service providing repository metadata for many open source software ecosystems.

gitlab.inria.fr / coq 1 Repository

The Coq proof assistant (see https://coq.inria.fr)

coq/opam

Mirror for CI/CD only

Last synced at: 9 months ago - Stars: 0 - Forks: 0

coq/coq

Mirror for CI/CD purposes only.

Last synced at: 9 months ago - Stars: 0 - Forks: 3

coq/wiki-backup

Backup of Cocorico, the Coq wiki, now hosted at https://github.com/coq/coq/wiki Synchronized with github every hour

Last synced at: 9 months ago - Stars: 0