S(2,4) = 3932964 | sligocki - discu.eu

Reddit

The 2-state, 4-symbol busy beaver has been proven https://www.sligocki.com/2024/08/27/bb-2-4-proven.html 57 comments 28/8/2024 math

Linked pages

https://bbchallenge.org/ 21 comments
[July 2nd 2024] We have proved "BB(5) = 47,176,870" - News - The Busy Beaver Challenge https://discuss.bbchallenge.org/t/july-2nd-2024-we-have-proved-bb-5-47-176-870/237 20 comments
GitHub - ccz181078/Coq-BB5 https://github.com/ccz181078/Coq-BB5 0 comments

Related searches:

Search whole site: site:sligocki.com

Search title: S(2,4) = 3932964 | sligocki

See how to search.

Submit link to: