Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Fix Proto_alpha translation
Code
Review changes
Check out branch
Download
Patches
Plain diff
Evan Marzion
requested to merge
translation-work
into
master-with-coq-j-and-k
Sep 23, 2022
Overview
2
Commits
5
Pipelines
6
Changes
7
Expand
Merge request reports