Mentions légales du service

Skip to content

GitLab

Explore

Sign in

Admin message

GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.

C

coq

Project information

Mirror of the git repository of Coq now hosted at https://github.com/coq/coq (synchronized every 15min)

41,005 Commits
12 Branches
83 Tags
1 Environment

README
GNU LGPLv2.1
CONTRIBUTING

Created on

August 11, 2023

Copy SSH clone URLgit@gitlab.inria.fr:mdenes/coq.git
Copy HTTPS clone URLhttps://gitlab.inria.fr/mdenes/coq.git

Loading