rutgers-apl/FLoPS

FLOPS: Formalization in the Lean Theorem Prover of the P3109 Standard

1 best points · 0 comments · 1 Hacker News post · 22 GitHub stars · View on GitHub

Hacker News discussions

• Semantics, Operations, and Properties of P3109 Floating-Point Formats in Lean (1 points, 0 comments, by matt_d, 2026-02-19)