-
Robbert Krebbers authored
Thanks to @jules for the suggestion and an initial proof.
69c36292
To find the state of this project's repository at the time of any of these versions, check out the tags.
Thanks to @jules for the suggestion and an initial proof.