Skip to content
GitLab
Explore
Sign in
compatibility with rocq (aka Coq) 9.0
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
compatibility with rocq (aka Coq) 9.0
Johannes Hostert
requested to merge
rocq-9.0
into
master
Jan 31, 2025
Overview
1
Commits
1
Pipelines
0
Changes
2
basically everything still works. cc
@jung
Merge request reports
Loading