Iris
Forked from
Iris / Iris
Robbert Krebbers
authored
Remove Permutation Proper workaround that is not needed in Coq >= 8.15. See merge request iris/stdpp!486
| Name | Last commit | Last update |
|---|
Remove Permutation Proper workaround that is not needed in Coq >= 8.15. See merge request iris/stdpp!486
| Name | Last commit | Last update |
|---|