ieee_float library
Hello,
The file ieee_float.mlw contains a number of TODO
related to axiom .
lines. Are the corresponding axioms going to change in the future ? Are they going to be kept as axioms ?
Hello,
The file ieee_float.mlw contains a number of TODO
related to axiom .
lines. Are the corresponding axioms going to change in the future ? Are they going to be kept as axioms ?