Forked from
Iris / Iris
Source project has a limited visibility.
Ralf Jung
authored
I know we don't use it. Stating theorems also serves to document things, and IMHO this one is informative. It also costs us nothing.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||