Skip to content
GitLab
Explore
Sign in
Tej Chajed
stdpp
Repository
stdpp
theories
finite.v
Find file
Blame
History
Permalink
Get rid of type class instance finite_countable.
· 0d7a7f06
Robbert Krebbers
authored
Sep 18, 2017
This instance leads to exponential failing searches.
0d7a7f06