Skip to content
GitLab
Explore
Sign in
Jonas Kastberg
stdpp
Repository
stdpp
theories
list.v
Find file
Blame
History
Permalink
Shorter proof for ∃, also add proof for ∀.
· 6f19c369
Robbert Krebbers
authored
Sep 06, 2021
6f19c369