challenges / turan-tetrahedron

Tetrahedron-free 3-graphs, maximum size

Extremal graphsactiverecord_ratio · maximizemutable: build.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.