back to table · edit · history · where entries came from · files
As of the current version, 2026-10-30 22:26, “Explain the full one-form determinant as the product of the scalar and coexact determinants”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| argument-selection.md | 5232 bytes | 2026-10-30 | |
| audit-disposition.md | 1260 bytes | 2026-10-30 | |
| check.py | 17709 bytes | 2026-10-30 | |
| checks.py | 10240 bytes | 2026-10-30 | |
| continuation.md | 7200 bytes | 2026-10-30 | |
| generate.py | 5259 bytes | 2026-10-30 | |
| numerical-evidence.json | 157853 bytes | 2026-10-30 | |
| skill-evidence.json | 502 bytes | 2026-10-30 | |
| source-evidence.json | 3169 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.
