README.md · master · Maxime Dénès / coq · GitLab

Mentions légales du service

Exceptional GitLab maintenance is scheduled for June 19, 2025. The service will be unavailable between 12am and 2pm. Please do not work on the platform until an announcement indicates that maintenance is complete.

Dec 10, 2021
dc6e3688
docs: Add new shields.io badge for coqorg/coq:latest · dc6e3688
Erik Martin-Dorel authored Dec 10, 2021
```
* This patch subsumes PR https://github.com/coq/coq/pull/15001
```
dc6e3688
docs: Add new shields.io badge for coqorg/coq:latest
Erik Martin-Dorel authored Dec 10, 2021
```
* This patch subsumes PR https://github.com/coq/coq/pull/15001
```