Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
tests
length.v
Find file
Blame
History
Permalink
Use `Check` instead of `About` to hopefully have stable test output among Coq versions.
· f3842eb3
Robbert Krebbers
authored
Apr 08, 2020
f3842eb3