User contributions for Tromp
Jump to navigation
Jump to search
7 February 2026
- 20:5720:57, 7 February 2026 diff hist +161 Lambda Calculus →Champions
5 February 2026
- 10:3410:34, 5 February 2026 diff hist −86 Lambda Calculus only list one champion
- 10:2710:27, 5 February 2026 diff hist −171 Lambda Calculus remove uninteresting column with number of reductions
- 10:1310:13, 5 February 2026 diff hist −66 Lambda Calculus only list 1 champion
- 09:4009:40, 5 February 2026 diff hist +2 m Lambda Calculus →Oracle Busy Beaver
4 February 2026
- 17:3717:37, 4 February 2026 diff hist +23 Lambda Calculus →Champions
- 13:4413:44, 4 February 2026 diff hist +21 Lambda Calculus →Champions
- 13:3513:35, 4 February 2026 diff hist +12 Lambda Calculus →Champions
1 February 2026
- 16:4316:43, 1 February 2026 diff hist +163 m Lambda Calculus add BMS
- 16:3516:35, 1 February 2026 diff hist +65 m Lambda Calculus add link to blog with detailed proof
- 16:3416:34, 1 February 2026 diff hist +5 m Lambda Calculus fix off-by-1 error
30 December 2025
- 08:4308:43, 30 December 2025 diff hist +2 m Lambda Calculus →Proof of Uncomputability
- 08:4208:42, 30 December 2025 diff hist +4 m Lambda Calculus →Proof of Uncomputability
- 08:4108:41, 30 December 2025 diff hist +22 m Lambda Calculus →Proof of Uncomputability
5 September 2025
14 August 2025
- 14:1614:16, 14 August 2025 diff hist +2,325 Lambda Calculus add oracle busy beaver Tag: Visual edit
28 March 2025
- 20:5120:51, 28 March 2025 diff hist +1 Lambda Calculus →Champions
- 20:5020:50, 28 March 2025 diff hist +198 Lambda Calculus add Loader's number
- 20:4320:43, 28 March 2025 diff hist −7 Lambda Calculus →Champions
- 20:4220:42, 28 March 2025 diff hist +5 Lambda Calculus Melo's 49 program exceeding Graham's Tag: Visual edit: Switched