Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
iris
bi
derived_laws.v
Find file
Blame
History
Permalink
Add more lemmas for wand_iff and iff
· eeb87782
Hai Dang
authored
Apr 14, 2021
and
Robbert Krebbers
committed
Apr 14, 2021
eeb87782