← back to paper

Review history

arxiv: 2602.15965 · 2 revisions

FLoPS: Semantics, Operations, and Properties of P3109 Floating-Point Representations in Lean

1. 2026-05-21 UNVERDICTED LOW v0.9.0 novelty 7.0
   45882 ms 5757 in 1188 out 2026-05-21T11:57:46.575043+00:00
2. 2026-05-15 ACCEPT LOW v0.9.0 novelty 8.0
   19052 ms 5526 in 1101 out 2026-05-15T21:51:25.474877+00:00