Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
tests
tactics.ref
Find file
Blame
History
Permalink
Fix test in Coq 8.10 and 8.11.
· 924d085e
Robbert Krebbers
authored
Feb 28, 2020
924d085e