gitlab.inria.fr / coq 1 Repository
The Coq proof assistant (see https://coq.inria.fr)
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