fp.lean

• symfpu for circuits.
• GCC torture test to verify specification.

Floating Point Torture Test

• SMT-LIB floating point specification.
• Berlekee TestFloat.
• Ulp plots. _ Kahan Floating Point Paranoia.
• IEEE floating point testing software.

Floating Point Docs

• 2020-2021 Floating Point Course @ Cambridge
• Numerical Computing with IEEE Floating Point Arithmetic by Michael L. Overton.