Main public logs

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_---...")