back to table · edit · history · where entries came from · files
As of the current version, 2026-10-30 08:47, “Explain the Neumann companion and the exact polygon determinant ratio”. See the history to look at the files of an earlier one.
| name | size | last changed | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| T620-before.json | 15604 bytes | 2026-10-30 | |||||||||
| argument-selection.md | 2728 bytes | 2026-10-30 | |||||||||
| checks-evidence.json | 29907 bytes | 2026-10-30 | |||||||||
| checks-prefill-evidence.json | 28951 bytes | 2026-10-30 | |||||||||
| checks.py | 8422 bytes | 2026-10-30 | |||||||||
| dependency-versions.json | 65 bytes | 2026-10-30 | |||||||||
| derivation.md | 5302 bytes | 2026-10-30 | |||||||||
| family-checks.txt | 476 bytes | 2026-10-30 | |||||||||
| family_checks.py | 2483 bytes | 2026-10-30 | |||||||||
| generate.py | 4345 bytes | 2026-10-30 | |||||||||
2 versions of this file
|
|||||||||||
| repair-checks-evidence.json | 13515 bytes | 2026-10-30 | |||||||||
| repair_checks.py | 4102 bytes | 2026-10-30 | |||||||||
| skill-evidence.json | 487 bytes | 2026-10-30 | |||||||||
| source-manifest.json | 724 bytes | 2026-10-30 | |||||||||
Download the table and its files together — as of this version, so the code in it is the code that produced the numbers in it.
These are recorded, not executed. Several of them take hours or days to run, and nothing on this site runs them.
