Skip to content
GitLab
Explore
Sign in
Tej Chajed
stdpp
Repository
stdpp
theories
numbers.v
Find file
Blame
History
Permalink
Add conversion function `pos_to_Qp` from `positive` to `Qp`.
· b2903d4f
Robbert Krebbers
authored
Oct 03, 2020
b2903d4f