Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
base.v
Find file
Blame
History
Permalink
Also type classes for conjunction and unit.
· 7891aa0b
Robbert Krebbers
authored
Aug 17, 2017
7891aa0b