Skip to content
GitLab
Explore
Sign in
Janno
iris-coq
Repository
iris
heap_lang
lib
barrier
protocol.v
Find file
Blame
History
Permalink
Make use of {[ x1; .. ; xn ]} set notation in barrier proof.
· 92768cff
Robbert Krebbers
authored
May 24, 2016
92768cff