back to table · edit · history · where entries came from · files
As of the current version, 2026-11-10 21:29, “Create draft; proposal https://github.com/numberdb/numberdb-data/issues/313; 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 | 2134 bytes | 2026-11-10 — in this version | |
| checks.py | 6595 bytes | 2026-11-10 — in this version | |
| derivation.md | 5181 bytes | 2026-11-10 — in this version | |
| generate.py | 4240 bytes | 2026-11-10 — in this version | |
| integral_kernel.py | 3328 bytes | 2026-11-10 — in this version | |
| numerical-evidence.json | 75480 bytes | 2026-11-10 — in this version | |
| offline-summary.json | 243 bytes | 2026-11-10 — in this version | |
| program.py | 914 bytes | 2026-11-10 — in this version | |
| readback-evidence.json | 25382 bytes | 2026-11-10 — in this version | |
| research.md | 3024 bytes | 2026-11-10 — in this version | |
| skill-manifest.json | 4060 bytes | 2026-11-10 — in this version | |
| source-archives.json | 506 bytes | 2026-11-10 — in this version | |
| verify_stored.py | 2853 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.
