3 ms·Semantics, Operations, and Properties of P3109 Floating-Point Formats in Lean1 points by matt_d 8mo ago