"git@gitlab.inria.fr:mdenes/coq.git" did not exist on "master"
Forked from
The Rocq Prover / The Rocq Prover
Source project has a limited visibility.
| Name | Last commit | Last update |
|---|
Exceptional GitLab maintenance is scheduled for June 24, 2025. The service will be unavailable between 8:00 am and 9:30 am. Please do not work on the platform until an announcement indicates that maintenance is complete.
| Name | Last commit | Last update |
|---|---|---|