Determination of the fifth Busy Beaver value (via fanf) — discussion

#compsci #pdf