Skip to content
GitLab
Explore
Sign in
Simon Friis Vindum
stdpp
Repository
stdpp
theories
numbers.v
Find file
Blame
History
Permalink
Use `let '(...) = ...` in definitions of `Qp_le` and `Qp_lt` to avoid eager unfolding.
· 12590bc6
Robbert Krebbers
authored
Oct 03, 2020
12590bc6