vix.ing · top · new · best · stats · spec

Tung-Che Chang

  1. FLoPS: Semantics, Operations, and Properties of P3109 Floating-Point Representations in Lean
    2026/02/17 by Tung-Che Chang, Sehyeok Park, Jay P Lim +1 · 2 voices
    Computer Science · #cs.MS