Skip to content
GitLab
Explore
Sign in
Iris
examples
Repository
examples
theories
lecture_notes
stack.v
Find file
Blame
History
Permalink
Patch now that frame ∃ looks beneath definitions again
· a15d9e2e
Ike Mulder
authored
Nov 13, 2023
a15d9e2e