- The 2-state, 4-symbol busy beaver has been proven https://www.sligocki.com/2024/08/27/bb-2-4-proven.html 57 comments math
Linked pages
- bbchallenge 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.