heap_lang/notation.v · bcfc5aa7b45e40547ceacef9267bc40827d87e84 · Rice Wine / Iris · GitLab

Skip to content

GitLab

Explore

Sign in

iris
heap_lang
notation.v

Blame Permalink

Jul 12, 2016
bcfc5aa7

Notations for short-circuit Boolean connectives && and ||. · bcfc5aa7
Robbert Krebbers authored Jul 12, 2016

bcfc5aa7

Notations for short-circuit Boolean connectives && and ||.
Robbert Krebbers authored Jul 12, 2016

Loading