Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
decidable.v
Find file
Blame
History
Permalink
Add more properties of `bool_decide` w.r.t. logical connectives.
· ee01b088
Robbert Krebbers
authored
Dec 07, 2021
ee01b088