About the Individual machines category

Individual machines
1

Here, we discuss individual machines of the busy beaver challenge. It is the place to share proofs of non-termination or termination of specific machines.