back to table · edit · history · where entries came from · files
As of the current version, 2026-10-28 17:16, “Attach completed numerical checks and a reader for nested entries”. See the history to look at the files of an earlier one.
| name | size | last changed | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| argument-selection.md | 5210 bytes | 2026-10-28 | |||||||||
| certification.md | 4799 bytes | 2026-10-28 | |||||||||
| check.py | 17709 bytes | 2026-10-28 | |||||||||
| checks.py | 7274 bytes | 2026-10-28 — in this version | |||||||||
2 versions of this file
|
|||||||||||
| generate.py | 3684 bytes | 2026-10-28 | |||||||||
| gram.py | 1966 bytes | 2026-10-28 | |||||||||
| hardy_arb.pyx | 2640 bytes | 2026-10-28 | not shown as text | ||||||||
| numerical-evidence.json | 5014 bytes | 2026-10-28 — in this version | |||||||||
2 versions of this file
|
|||||||||||
| skill-manifest.json | 526 bytes | 2026-10-28 | |||||||||
| stationary.py | 4472 bytes | 2026-10-28 | |||||||||
| stored-evidence.json | 1201 bytes | 2026-10-28 — 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.
