An error occurred while fetching folder content.
https://github.com/coq/coq/issues/18126 on Coq 8.18.
Robbert Krebbers
authored
The new proof avoids `setoid_rewrite` and is just as good, so no need to revert once Coq is fixed.
| Name | Last commit | Last update |
|---|