back to table · edit · history · where entries came from · files
As of the current version, 2026-11-11 03:31, “Explain the signed factorial relation to basic log-sinh moments in T713”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| T697-comparison-rows.json | 1742 bytes | 2026-11-11 | |
| T713-comparison-rows.json | 1775 bytes | 2026-11-11 | |
| argument-selection.md | 3495 bytes | 2026-11-11 | |
| browser-results.json | 1158 bytes | 2026-11-11 | |
| build-evidence.md | 4056 bytes | 2026-11-11 | |
| check-results.json | 14800 bytes | 2026-11-11 | |
| checks.py | 5362 bytes | 2026-11-11 | |
| computation.md | 5411 bytes | 2026-11-11 | |
| deterministic-checks.log | 505 bytes | 2026-11-11 | not shown as text |
| extra-check-results.json | 5837 bytes | 2026-11-11 | |
| extra_checks.py | 2013 bytes | 2026-11-11 | |
| generate.py | 4007 bytes | 2026-11-11 | |
| numerical-evidence.json | 593 bytes | 2026-11-11 | |
| offline-rows.json | 14686 bytes | 2026-11-11 | |
| research.md | 2239 bytes | 2026-11-11 | |
| runtime-versions.json | 87 bytes | 2026-11-11 | |
| skill-manifest.json | 4060 bytes | 2026-11-11 | |
| stored-check-results.json | 14871 bytes | 2026-11-11 | |
| stored-rows.json | 7183 bytes | 2026-11-11 |
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.
