Skip to content
GitLab
Explore
Sign in
Matthieu Sozeau
stdpp
Repository
stdpp
theories
base.v
Find file
Blame
History
Permalink
Hint Mode Equiv: update link to blocking Coq issue
· cb9cef38
Paolo G. Giarrusso
authored
Apr 11, 2021
Based on
https://github.com/coq/coq/issues/9058#issuecomment-496479506
.
cb9cef38