Skip to content
GitLab
Explore
Sign in
George Pirlea
Iris
Repository
iris
theories
base_logic
lib
fancy_updates.v
Find file
Blame
History
Permalink
Show that step fupd commutes with forall for plain predicates in Iris.
· 818a8dfa
Joseph Tassarotti
authored
Oct 24, 2018
818a8dfa