CoSearch
Massively Collaborative Research
The Busy Beaver Challenge
bbchallenge.org
Contributions (75)
BB(2,4) = 3,932,964
BB(2,4) = 3,932,964
Apr 2023
·
Shawn Ligocki
,
Iijil
Dependencies:
BB(2,4) champion found: 1RB2LA1RA1RA_1LB1LA3RB1RZ
bb2x4
Details
Reviews
0
Children
2
Coq verification of "BB(2,4) = 3,932,964"
Aug 2024
·
mxdys
Dependencies:
Coq-BB5
,
BB(2,4) = 3,932,964
Formal Verification
Coq
bb2x4
View
Reviews (0)
Children (0)
Formal verification of "BB(2,4) = 3,932,964"
Aug 2024
·
Andrew Ducharme
,
Shawn Ligocki
,
tjligocki
Dependencies:
BB(2,4) = 3,932,964
Formal Verification
Work In Progress
bb2x4
View
Reviews (0)
Children (0)
