Skip to content
GitLab
Explore
Sign in
Hugo Herbelin
stdpp
Repository
stdpp
theories
hashset.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