Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
refactor Proofs/List_map.v
Code
Review changes
Check out branch
Download
Patches
Plain diff
7A1T
requested to merge
List_map-standardisation
into
master
Aug 12, 2022
Overview
10
Commits
6
Pipelines
8
Changes
1
Expand
change the length variable from the CoqOfOcaml version to the native Lists.List version
introduce split_size to prove split produces the correct sized lists
Edited
Aug 12, 2022
by
7A1T
Merge request reports