User contributions for Cppdsucker

11 October 2026

• 11:0011:00, 11 October 2026 diff hist −2 SKI Calculus https://github.com/b00ne/bb-sk-7/blob/main/bbsk7.pdf Tag: Visual edit

2 July 2026

• 13:5013:50, 2 July 2026 diff hist +13 Lambda Calculus Forgot someone Tag: Visual edit
• 13:4513:45, 2 July 2026 diff hist +56 Lambda Calculus Cumulative work Tag: Visual edit

14 April 2026

• 05:5105:51, 14 April 2026 diff hist +2 m Lambda Calculus formatting Tag: Visual edit
• 05:5005:50, 14 April 2026 diff hist +43 Lambda Calculus People who helped prove the value Tag: Visual edit

12 April 2026

• 21:5821:58, 12 April 2026 diff hist +4 m Lambda Calculus dot Tag: Visual edit
• 21:5321:53, 12 April 2026 diff hist +98 Lambda Calculus BB(38) new results!!!!! Tag: Visual edit