Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
boolset.v
Find file
Blame
History
Permalink
`TopSet` instance for `boolset`.
· 2ad56b99
Robbert Krebbers
authored
Feb 17, 2020
2ad56b99