Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
theories
ieee_float.why
Find file
Blame
History
Permalink
- fix "eq_special" (wrong parenthesizing)
· 6f353d3e
Clément Fumex
authored
Oct 05, 2016
- some cleanup - add the axiom "abs_universal"
6f353d3e