back to table · edit · history · where entries came from · files
As of the current version, 2026-10-27 18:01, “Define the uniformization radius and record verified formulas and coverage”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| argument-selection.md | 2578 bytes | 2026-10-27 | |
| checks.py | 7147 bytes | 2026-10-27 | |
| dry-run.log | 558 bytes | 2026-10-27 | not shown as text |
| generate.py | 2761 bytes | 2026-10-27 | |
| numerical-evidence.json | 53602 bytes | 2026-10-27 | |
| skill-evidence.json | 471 bytes | 2026-10-27 | |
| sources.md | 3185 bytes | 2026-10-27 |
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.
