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
Add functions for erasing proof terms from binary_float.
· 0abac1ea
Guillaume Melquiond
authored
Aug 10, 2018
0abac1ea