Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
base.v
Find file
Blame
History
Permalink
Remove type scope from forall notation
· b36cd736
Tej Chajed
authored
May 27, 2020
Fixes
#67
.
b36cd736