Commit History
-
Replace formal benchmark shim with full Mathlib audit
243a534
-
Compile official FPS source in kernel audit
698969a -
Widen formal FPS evidence with Lean kernel audit
cadfa93 -
Publish validated ICML reproduction
Verified signature6c3fe2a