Main 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).
- 08:58, 19 April 2026 DrDisentangle talk contribs created page User:DrDisentangle/BB6 formal proofs (Created page with "This page is a draft of something to be added to BB(6). The goal is to keep track of which BB(6) cryptids (or candidates) have Rocq/Lean proofs of specific stages up to halting/nonhalting proofs. {| class="wikitable" |- ! Machine !! Rules Proved !! Math Derived !! H/NH Proof attempt !! Final Proof |- | 1RB1LD_1RC0LE_1LA1RE_0LF1LA_1RB0RB_---0LB || || || || |- | 1RB0RB_1LC1RE_1LF0LD_1RA1LD_1RC1RB_---1LC || || || || |- | 1RB1LA_0LC0RC_1LE1RD_1RE1RC_1LF0LA_---...")
- 11:24, 17 April 2026 DrDisentangle talk contribs created page 1RB---0RB0LA2RA 2LB2LA3RA4LB0LB (init)
- 14:37, 8 April 2026 DrDisentangle talk contribs created page File:1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC.pdf
- 14:37, 8 April 2026 DrDisentangle talk contribs uploaded File:1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC.pdf
- 07:38, 7 April 2026 DrDisentangle talk contribs created page User:DrDisentangle (start)
- 16:52, 2 April 2026 DrDisentangle talk contribs created page 1RB1LA 1RC0RF 1RD--- 0LE1RB ---0LA 1LD1RF (initial)
- 12:01, 26 March 2026 DrDisentangle talk contribs created page File:1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC-rulegraph.png (Rule dispatch of1RB0RB_1LC1RE_1LF0LD_1RA1LD_1RC1RB_---1LC)
- 12:01, 26 March 2026 DrDisentangle talk contribs uploaded File:1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC-rulegraph.png (Rule dispatch of1RB0RB_1LC1RE_1LF0LD_1RA1LD_1RC1RB_---1LC)
- 18:12, 22 March 2026 DrDisentangle talk contribs uploaded a new version of File:Antihydra-landcape.png (improved)
- 12:12, 21 March 2026 DrDisentangle talk contribs created page File:Antihydra-landcape.png (What we know (green) and don't (blue) about the Antihydra halting and other problems.)
- 12:12, 21 March 2026 DrDisentangle talk contribs uploaded File:Antihydra-landcape.png (What we know (green) and don't (blue) about the Antihydra halting and other problems.)
- 12:04, 21 March 2026 DrDisentangle talk contribs created page File:Antihydra-landscape.svg (Depicts what we know (green) and don't about the Antihydra halting problem.)
- 12:04, 21 March 2026 DrDisentangle talk contribs uploaded File:Antihydra-landscape.svg (Depicts what we know (green) and don't about the Antihydra halting problem.)
- 11:04, 21 March 2026 User account DrDisentangle talk contribs was created
