Repository navigation
120 record-setting results across science and engineering: 20 numerical bound records and 100 construction records, plus one theorem extension.
The source archive contains the final constructions, numerical witnesses and proofs. Four larger certificates are available below:
dimer-certificate.json.gznqueens-lower-witness.json.gzupper-witness.f64.zlibwaterund36-certificate.zip
Citation: Epi Team (2026), Épi Results.