Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Repository
58a3584f1b672b85fc1a164b5e78b3f8ad23b6a6
Switch branch/tag
why3
stdlib
ieee_float.mlw
Find file
Blame
History
Permalink
Stdlib/floats: allow the use of basic float operations in programs
· 58a3584f
MARCHE Claude
authored
Sep 18, 2018
58a3584f
MARCHE Claude authored58a3584f