FLoPS: Semantics, Operations, and Properties of P3109 Floating-Point Representations in Lean. - Tung-Che Chang; Sehyeok Park; Jay P. Lim; Santosh Nagarakatte (CoRR, 2026)