Detailed Analysis of the Oct 2000 Marxen-Buntrock BB6 Record-Setter 'q'
My detailed analysis (almost a proof, but without the precise language) of the behavior of the 2000 Marxen-Buntrock machine 'q' has moved here.
This page was written in the "embarrassingly readable" markup language RHTF, and was last updated on 2025 Feb 05.
s.30