back to table · edit · history · where entries came from · files
As of the current version, 2026-11-10 23:40, “Create draft; proposal https://github.com/numberdb/numberdb-data/issues/315; contributes to https://github.com/numberdb/numberdb-data/issues/273”. See the history to look at the files of an earlier one.
| name | size | last changed | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| argument-selection.md | 2060 bytes | 2026-11-10 | |||||||||
| derivation.md | 3649 bytes | 2026-11-10 | |||||||||
| generate.py | 3393 bytes | 2026-11-10 — in this version | |||||||||
2 versions of this file
|
|||||||||||
| generation-evidence.json | 26893 bytes | 2026-11-10 | |||||||||
| independent_check.py | 4483 bytes | 2026-11-10 | |||||||||
| numerical-evidence.json | 812 bytes | 2026-11-10 — in this version | |||||||||
| offline-check-results.json | 25268 bytes | 2026-11-10 | |||||||||
| program-check.log | 1652 bytes | 2026-11-10 | not shown as text | ||||||||
| program.sage.py | 1193 bytes | 2026-11-10 | |||||||||
| research.md | 2591 bytes | 2026-11-10 | |||||||||
| skill-manifest.json | 4060 bytes | 2026-11-10 | |||||||||
| stored-check-results.json | 25268 bytes | 2026-11-10 — in this version | |||||||||
| versions.json | 218 bytes | 2026-11-10 — in this version | |||||||||
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.
