back to table · edit · history · where entries came from · files
As of the current version, 2026-10-25 09:13, “Include the elementary coverings in the range and caption the related-table links.”. See the history to look at the files of an earlier one.
| name | size | last changed | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| README.txt | 5318 bytes | 2026-10-25 | |||||||||
2 versions of this file
|
|||||||||||
| check.py | 17709 bytes | 2026-10-25 | |||||||||
| checks.py | 9869 bytes | 2026-10-25 | |||||||||
2 versions of this file
|
|||||||||||
| dependency-versions.json | 110 bytes | 2026-10-25 | |||||||||
| evidence.json | 48164 bytes | 2026-10-25 | |||||||||
| generate.py | 6897 bytes | 2026-10-25 | |||||||||
2 versions of this file
|
|||||||||||
| repair-checks.py | 3849 bytes | 2026-10-25 | |||||||||
| repair-evidence.json | 1002 bytes | 2026-10-25 | |||||||||
| source.json | 581342 bytes | 2026-10-25 | |||||||||
| stored-evidence.json | 48023 bytes | 2026-10-25 | |||||||||
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.
