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

• 05:12, 3 October 2026 C7X talk contribs created page Talk:1RB1LA 1RC1RE 1LD0RB 1LA0LC 0RF0RD 0RB--- (Created page with "==Two questions== # Is the machine still a holdout? # Should it be added to this page that there is now a formalization that avoids the Baker–Wüstholz-theorem? (From TMBR:_September 2026) ~~~~")