Forked from
Iris / Iris
-
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.
Ralf Jung authoredI know we don't use it. Stating theorems also serves to document things, and IMHO this one is informative. It also costs us nothing.