Skip to content
GitLab
Explore
Sign in
Tej Chajed
iris
Repository
iris-coq
base_logic
lib
boxes.v
Find file
Blame
History
Permalink
Stronger splitting rule for boxes.
· 42cf780a
Jacques-Henri Jourdan
authored
Nov 25, 2016
42cf780a