Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
coq
Infra
RealRationalProps.v
Find file
Blame
History
Permalink
More work on Division. Can prove doppler bounds, proof somewhere in between
· 139f71f7
Heiko Becker
authored
Nov 08, 2016
139f71f7