An error occurred while fetching folder content.
Forked from
Iris / stdpp
Source project has a limited visibility.
Paolo G. Giarrusso
authored
This instance might seem odd, but `ProofIrrel` takes a `Type` and not a `Prop`, and stdpp already has instances for products.
| Name | Last commit | Last update |
|---|