back to table · edit · history · where entries came from · files
As of the current version, 2026-11-02 11:21, “Attach checks supporting the repaired Hensel condition”. See the history to look at the files of an earlier one.
| name | size | last changed | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| argument-selection.md | 6588 bytes | 2026-11-02 | |||||||||
| check.py | 17709 bytes | 2026-11-02 | |||||||||
| checks.py | 6849 bytes | 2026-11-02 | |||||||||
| frobenius-input.json | 25839 bytes | 2026-11-02 | |||||||||
| generate.py | 5021 bytes | 2026-11-02 | |||||||||
| numerical-evidence.md | 9772 bytes | 2026-11-02 | |||||||||
2 versions of this file
|
|||||||||||
| repair-hensel-check.py | 4650 bytes | 2026-11-02 — in this version | |||||||||
| repair-hensel-results.json | 49304 bytes | 2026-11-02 — in this version | |||||||||
| skill-evidence.json | 470 bytes | 2026-11-02 | |||||||||
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.
