An error occurred while fetching folder content.
Forked from
Iris / lambda-rust
Source project has a limited visibility.
Jacques-Henri Jourdan
authored
Cleaning : remove hints about [product2] from solve_typing (this type is only for internal use), and removed unnecessary unfold lemmas.
| Name | Last commit | Last update |
|---|