Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Flocq
flocq
Repository
flocq
src
Core
Fcore_rnd_ne.v
Find file
Blame
History
Permalink
Simplified proofs on rounding DN and UP for generic format.
· 84335f01
Guillaume Melquiond
authored
Apr 23, 2010
84335f01