Skip to content
GitLab
Explore
Sign in
Rodolphe Lepigre
stdpp
Repository
stdpp
theories
base.v
Find file
Blame
History
Permalink
Add `proj1_ex` and `proj2_ex` when ∃ over `Prop`.
· 4978faed
Robbert Krebbers
authored
Jun 20, 2019
4978faed