Skip to content
GitLab
Explore
Sign in
Dmitry Khalanskiy
Iris
Repository
iris
theories
heap_lang
proofmode.v
Find file
Blame
History
Permalink
Prepare code for change to dep. goal type.
· eda63869
Janno
authored
Oct 26, 2018
eda63869