Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Admin message
GitLab upgrade completed. Current version is 17.11.6.
opam-repositories
README.md
Find file
Blame
Permalink
Mar 29, 2025
8f68b5cb
renaming Coq to Rocq in all README.md
· 8f68b5cb
Karl Palmskog
authored
Mar 29, 2025
8f68b5cb
renaming Coq to Rocq in all README.md
Karl Palmskog
authored
Mar 29, 2025
Loading
Karl Palmskog authoredKarl Palmskog authored