Skip to content
GitLab
Explore
Sign in
Maxime Dénès
stdpp
Repository
stdpp
theories
fin_sets.v
Find file
Blame
History
Permalink
Avoid relying on `Export` bugs
· a6029f04
Maxime Dénès
authored
Sep 05, 2019
See
https://github.com/coq/coq/issues/10480
and
https://github.com/coq/coq/issues/10474
.
a6029f04