Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Some progress on ir-translator proofs
Code
Review changes
Check out branch
Download
Patches
Plain diff
Evan Marzion
requested to merge
verify-ir-translator-backward
into
master
Sep 13, 2022
Overview
3
Commits
5
Pipelines
5
Changes
4
Expand
Completion of some previously
Admitted
lemmas.
Edited
Sep 14, 2022
by
Evan Marzion
Merge request reports