theories/countable.v · 0d7a7f06d2a0eb6b7396914f0551eb903664c331 · Arthur Azevedo de Amorim / stdpp · GitLab

Snippets Groups Projects

Forked from Iris / stdpp

Source project has a limited visibility.

7 years ago
0d7a7f06
Get rid of type class instance finite_countable. · 0d7a7f06
Robbert Krebbers authored 7 years ago
```
This instance leads to exponential failing searches.
```
0d7a7f06

History
Get rid of type class instance finite_countable.
Robbert Krebbers authored 7 years ago
```
This instance leads to exponential failing searches.
```