gitlab.inria.fr / coq 1 Dépôt
The Coq proof assistant (see https://coq.inria.fr)
coq/opam
Mirror for CI/CD only
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
coq/coq
Mirror for CI/CD purposes only.
dernière synchronisation: il y a environ un an - étoiles: 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
dernière synchronisation: il y a environ un an - étoiles: 0