Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
option.v
Find file
Blame
History
Permalink
Remove copyright headers, update LICENCE file.
· 22a06f37
Robbert Krebbers
authored
Mar 13, 2020
This follows
iris!387
This closes issue
#54
.
22a06f37