Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
theories
heap_lang
proofmode.v
Find file
Blame
History
Permalink
Shorten type annotations a bit.
· 9dbd5aee
Janno
authored
Apr 12, 2019
9dbd5aee