User contributions for Tromp

14 August 2025

• 14:1614:16, 14 August 2025 diff hist +2,325‎ Busy Beaver for lambda calculus ‎ add oracle busy beaver Tag: Visual edit

28 March 2025

• 20:5120:51, 28 March 2025 diff hist +1‎ Busy Beaver for lambda calculus ‎ →‎Champions
• 20:5020:50, 28 March 2025 diff hist +198‎ Busy Beaver for lambda calculus ‎ add Loader's number
• 20:4320:43, 28 March 2025 diff hist −7‎ Busy Beaver for lambda calculus ‎ →‎Champions
• 20:4220:42, 28 March 2025 diff hist +5‎ Busy Beaver for lambda calculus ‎ Melo's 49 program exceeding Graham's Tag: Visual edit: Switched