Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Flocq
flocq
Repository
flocq
src
Translate
Ftranslate_flocq2Pff.v
Find file
Blame
History
Permalink
Renamings in Translate + proofs about ErrFMA (admit for underflows)
· d38545f2
BOLDO Sylvie
authored
Sep 05, 2016
d38545f2