Skip to content
GitLab
Explore
Sign in
Matthieu Sozeau
stdpp
Repository
stdpp
theories
base.v
Find file
Blame
History
Permalink
`length` notation in `base` to also fix `length` in Coq ≤ 8.10.
· dc849367
Robbert Krebbers
authored
Apr 08, 2020
dc849367