Skip to content
GitLab
Explore
Sign in
George Pirlea
Iris
Repository
iris
theories
heap_lang
proofmode.v
Find file
Blame
History
Permalink
Define Mtac2 version of `wp_store`.
· 13c1d3dc
Janno
authored
Apr 09, 2019
Todo: move `first` and `|| [ .. ]` to Mtac2 repo.
13c1d3dc