@misc{indiciae3bb8f1ff35cb,
  title = {FLoPS: Semantics, Operations, and Properties of P3109 Floating-Point Representations in Lean},
  author = {Tung-Che Chang and Sehyeok Park and Jay P Lim and Santosh Nagarakatte},
  year = {2026},
  url = {https://arxiv.org/abs/2602.15965},
  note = {Source identifier: 2602.15965}
}