Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
binders.v
Find file
Blame
History
Permalink
Avoid arbitrary terms in `auto using` to make std++ compliant with Coq #12512.
· 6af69af1
Robbert Krebbers
authored
Jun 15, 2020
6af69af1