All public logs
Jump to navigation
Jump to search
Combined display of all available logs of BusyBeaverWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 18:11, 23 June 2024 UncombedCoconut talk contribs created page 1RB0RF 1RC0LD 1LB1RC ---0LE 1RA1LE ---0RC (Created page with "{{machine|1RB0RF_1RC0LD_1LB1RC_---0LE_1RA1LE_---0RC}} https://bbchallenge.org/1RB0RF_1RC0LD_1LB1RC_---0LE_1RA1LE_---0RC A machine on the critical path to proving the busy beaver value "BB(6, 2, 2)" (6-state, 2-symbol, 2 undefined transitions). (Machines 1RB0RB_1LC1RB_---0LD_1RA0LE_1RF1LE_---0RA, 1RB1LA_1LA0RC_---0RD_1LE1RD_0LA0LF_---0LA, and 1RB1LA_1LA0RC_---0RD_1LE1RD_1LB0LF_---0LA <ref>The holdout list omits the last one. Since holdout l...")
- 12:12, 29 May 2024 UncombedCoconut talk contribs created page Code repositories (Created page with "This is a stub, to be expanded to a family of pages (probably) explaining the deciders' capabilities and other info about them. * [https://github.com/bbchallenge/bbchallenge-deciders The official bbchallenge deciders repo] * [https://github.com/ccz181078/Coq-BB5 Coq-BB5 by @mxdys] * [https://github.com/meithecatte/busycoq A hybrid Coq/Rust/OCaml repo implementing very fast deciders plus verified proofs, by @mei]...")
- 16:59, 28 May 2024 User account UncombedCoconut talk contribs was created