#
fdc7cdd9 |
|
03-Mar-2017 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Add some floating-point theorems. Theorems from the old floatTheory have been ported to the newer floating-point theory. The results have been generalised from being single precision only, allowing them to be instantiated to 16-, 32- and 64-bit floats.
|