An error occurred while fetching folder content.
Forked from
Iris / Iris
Source project has a limited visibility.
Tej Chajed
authored
Coq master is stricter about checking for meaningless implicit binders; see https://github.com/coq/coq/pull/10202.
| Name | Last commit | Last update |
|---|