CREDITS · master · Maxime Dénès / coq · GitLab

Mentions légales du service

Snippets Groups Projects

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.

Forked from The Rocq Prover / The Rocq Prover

Source project has a limited visibility.

4 years ago

{new,setoid_}ring -> ring · 4476f64d

Maxime Dénès authored 4 years ago

I believe this renaming makes it easier for new contributors to discover
the code of `ring`.

4476f64d

{new,setoid_}ring -> ring

Maxime Dénès authored 4 years ago

I believe this renaming makes it easier for new contributors to discover
the code of `ring`.