Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
coq
exps.v
Find file
Blame
History
Permalink
Fix machine epsilon in expressions
· 64097c88
Heiko Becker
authored
Aug 11, 2016
64097c88