Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Flocq
flocq
Repository
flocq
src
Makefile.am
Find file
Blame
History
Permalink
Proved that the error of addition rounded to nearest is an FP number.
· 05352609
Guillaume Melquiond
authored
May 31, 2010
05352609