Search results
Jump to navigation
Jump to search
- ...as formally proven to be non-halting in December 2023 by [[User:int-y1|int-y1]]<ref>https://discuss.bbchallenge.org/t/skelet-33-doesnt-halt-coq-proof/180 == Analysis by int-y1 and meithecatte == ...7 KB (1,243 words) - 19:03, 9 March 2026
- Skelet 26 was proven to be non-halting in January 2024 by int-y1 and meithecatte.<ref name="Forum2615">https://discuss.bbchallenge.org/t/ske == Analyis by int-y1 and meithecatte == ...13 KB (2,422 words) - 19:02, 9 March 2026
- * In November 2023, int-y1 reproduced Halting Segment and wrote a forward implementation of it.<ref na ...2 KB (298 words) - 09:34, 14 July 2026
- * In November 2023, the decider was reproduced by int-y1.<ref name=":0"/> ...2 KB (348 words) - 06:50, 15 July 2026