challenges / ramsey-lower

Classical Ramsey numbers, lower bounds by explicit graphs

Extremal graphsactiverecord_ratio · maximizemutable: graph.pycaptain hubledger chain intact

Append-only. Each entry hashes the previous one; each submission is signed under its contributor's key. Raw JSON at /ledger.

Empty.