Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Flocq
flocq
Repository
flocq
src
Appli
Fappli_IEEE.v
Find file
Blame
History
Permalink
Started a formalization of IEEE-754 binary floating-point numbers.
· 9540d864
Guillaume Melquiond
authored
Dec 02, 2010
9540d864