back to table · edit · history · where entries came from · files
As of the current version, 2026-10-30 12:33, “Connect Frobenius frame volumes to their Grassmann quotient volumes”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| argument-selection.md | 3220 bytes | 2026-10-30 | |
| audit-notes.md | 1819 bytes | 2026-10-30 | |
| check.py | 17709 bytes | 2026-10-30 | |
| check_values.py | 9101 bytes | 2026-10-30 | |
| document-before.json | 39638 bytes | 2026-10-30 | |
| final-document-evidence.json | 1166 bytes | 2026-10-30 | |
| generate.py | 4713 bytes | 2026-10-30 | |
| mathematical-notes.md | 3706 bytes | 2026-10-30 | |
| numerical-evidence.json | 1655 bytes | 2026-10-30 | |
| numerical-repair-results.json | 1126 bytes | 2026-10-30 | |
| repair-evidence.md | 4408 bytes | 2026-10-30 | |
| repair_check.py | 3599 bytes | 2026-10-30 | |
| skill-evidence.json | 669 bytes | 2026-10-30 | |
| sphere-document.json | 59219 bytes | 2026-10-30 | |
| stored-checks.json | 1098 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.
