back to table · edit · history · where entries came from · files
As of the current version, 2026-10-30 06:50, “Explain the shared Lane-Emden surface”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| argument-selection.md | 5073 bytes | 2026-10-30 | |
| compute.py | 1089 bytes | 2026-10-30 | |
| generate.py | 3729 bytes | 2026-10-30 | |
| independent-evidence.json | 5589 bytes | 2026-10-30 | |
| independent_checks.py | 3613 bytes | 2026-10-30 | |
| numerical-evidence.json | 14730 bytes | 2026-10-30 | |
| readback_checks.py | 2507 bytes | 2026-10-30 | |
| skill-evidence.json | 424 bytes | 2026-10-30 | |
| solver.py | 3189 bytes | 2026-10-30 | |
| source-manifest.json | 550 bytes | 2026-10-30 |
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.