Massively Collaborative Research
The Busy Beaver Challenge
bb5
Tagged Contributions (4)
Coq-BB5 - Complete Coq proof of "BB(5) = 47,176,870"
Dependencies:
Skelet #26 and #15 don't halt
Skelet #33 doesn't halt
Machine #10756090, also known as Finned 3, is irregular