Skip to content

refactor Proofs/List_map.v

7A1T requested to merge List_map-standardisation into master
  • 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 by 7A1T

Merge request reports