Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
core_lang.v
Find file
Blame
History
Permalink
Finished preparing the iris setup. The basic rules for BI-logic and
· cea1110f
Filip Sieczkowski
authored
May 28, 2014
laters are now proved (*not* the lemmas about later commuting with stuff).
cea1110f