Forked from
Iris / Iris
Source project has a limited visibility.
-
Paolo G. Giarrusso authored
Suggestion from Gregory Malecha, forall lemmas suggested by Robbert & Ralf, proof scripts from me.
Paolo G. Giarrusso authoredSuggestion from Gregory Malecha, forall lemmas suggested by Robbert & Ralf, proof scripts from me.
To find the state of this project's repository at the time of any of these versions, check out the tags.