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:41, 26 October 2026 Shivamshaiv talk contribs created page File:Three-Way Deal verification.zip (Transition table, proof of the halting criterion, list of 59 positive integers, and two Python verification scripts for Three-Way Deal. Released under Creative Commons Attribution 4.0 (CC BY 4.0).)
- 08:41, 26 October 2026 Shivamshaiv talk contribs uploaded File:Three-Way Deal verification.zip (Transition table, proof of the halting criterion, list of 59 positive integers, and two Python verification scripts for Three-Way Deal. Released under Creative Commons Attribution 4.0 (CC BY 4.0).)
- 08:34, 26 October 2026 User account Shivamshaiv talk contribs was created