Semantics, Operations, and Properties of P3109 Floating-Point Formats in Lean

(github.com) by matt_d | Feb 19, 2026 | 0 comments on HN