Search results
Jump to navigation
Jump to search
- = Further Analysis (Pomme, Autumn Pan, et al.) = ...ult to prove using computer proof assistants. Simulators written by Autumn Pan, Pomme, and vyx7 were used to verify the inequality for all <math>50\le i \ ...980 bytes (166 words) - 15:15, 8 December 2025
- ...295684878143579 a machine was formally proven nonhalting] by Pomme, Autumn Pan, vyx and mxdys. However, this result is yet to be verified. ...8 KB (1,053 words) - 18:26, 16 December 2025