Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
* Use sig instead of sigT: the proof is a Prop after all * Tweak implicit arguments * Shorten proof of sigma
Robbert Krebbers authored* Use sig instead of sigT: the proof is a Prop after all * Tweak implicit arguments * Shorten proof of sigma
