Skip to content
GitLab
Explore
Sign in
pub
Farith
Repository
farith
extract
farith_Big.ml
Find file
Blame
History
Permalink
[Farith] Extract generic version of floats and intervals
· 8d32cbf9
François Bobot
authored
Jan 09, 2022
and use it in Fp theory for defining all formats
8d32cbf9