Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
coq
ErrorBounds.v
Find file
Blame
History
Permalink
Prove errorbound for exact inversion on rationals
· f4d01b0d
Heiko Becker
authored
Nov 08, 2016
f4d01b0d