Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Flocq
flocq
Repository
flocq
src
IEEE754
Binary.v
Find file
Blame
History
Permalink
Formalize IEEE-754 FMA.
· 28cc6ee3
Xavier Leroy
authored
Jul 02, 2019
and
Guillaume Melquiond
committed
Jul 02, 2019
28cc6ee3