Skip to content
GitLab
Explore
Sign in
David Swasey
coq-stdpp
Repository
coq-stdpp
theories
numbers.v
Find file
Blame
History
Permalink
Shorten proof of Qp_lower_bound a bit.
· 2509e6f8
Robbert Krebbers
authored
Sep 09, 2016
2509e6f8