Infinite time busy beavers (Q2011657)

From MaRDI portal