User contributions for Int-y1

Results for Int-y1 talk block log uploads logs abuse log

A user with 330 edits. Account created on 24 June 2024.

Jump to navigation Jump to search

08:5308:53, 7 July 2025 diff hist +203 Code repositories add a lean 4 repo
05:4605:46, 7 July 2025 diff hist +288 Code repositories add languages

11:3711:37, 19 May 2025 diff hist +9 Translated cycler →Notable translated cyclers Tag: Visual edit
11:1411:14, 19 May 2025 diff hist +278 Skelet No edit summary Tag: Visual edit
11:0911:09, 19 May 2025 diff hist +67 Coq-BB5 No edit summary
11:0111:01, 19 May 2025 diff hist −43 Skelet No edit summary Tag: Visual edit
10:5510:55, 19 May 2025 diff hist +2,075 Skelet scrape data from https://bbchallenge.org/skelet
10:4610:46, 19 May 2025 diff hist +123 Skelet No edit summary
10:4210:42, 19 May 2025 diff hist +120 Skelet add table Tag: Visual edit

04:0104:01, 11 May 2025 diff hist −49 Skelet No edit summary

04:0704:07, 24 April 2025 diff hist +141 Skelet No edit summary

04:4104:41, 8 October 2024 diff hist +135 BB(3,3) add new section

00:2000:20, 5 October 2024 diff hist +85 BB(3,3) more info for group 1

09:2409:24, 2 October 2024 diff hist −6 m BB(3,3) No edit summary
09:2309:23, 2 October 2024 diff hist −100 BB(3,3) move group 1 to less rigorous proof
04:5504:55, 2 October 2024 diff hist +136 BB(3,3) move 412 and 650 closer to proved

01:5101:51, 4 August 2024 diff hist +34 N BMO Redirected page to Beaver Math Olympiad current Tag: New redirect

04:2204:22, 30 July 2024 diff hist +40 BB(3,3) make groups

06:0206:02, 29 July 2024 diff hist +42 Tree Normal Form No edit summary

23:3323:33, 28 July 2024 diff hist +95 BB(5) add headings

04:1304:13, 26 July 2024 diff hist +152 Beaver Math Olympiad add first few terms

07:3207:32, 24 July 2024 diff hist +49 Beaver Math Olympiad update solution a little
07:2707:27, 24 July 2024 diff hist +905 Beaver Math Olympiad add solution for bonnie problem
04:0204:02, 24 July 2024 diff hist −19 m Beaver Math Olympiad not stub
03:5403:54, 24 July 2024 diff hist +1,466 Beaver Math Olympiad add 2 solved problems
03:3903:39, 24 July 2024 diff hist +967 Beaver Math Olympiad add 3 machines
03:2003:20, 24 July 2024 diff hist +6 Translated cycler move paragraphs, bold name
03:1803:18, 24 July 2024 diff hist −8 m Sync bouncer counter bold name
03:1703:17, 24 July 2024 diff hist −10 m Sync bi-counter bold name
03:1403:14, 24 July 2024 diff hist −5 m Probvious unmath
03:0903:09, 24 July 2024 diff hist +39 Directed head notation minor writing improvements
02:5502:55, 24 July 2024 diff hist +28 History linear grammar fixes
02:4802:48, 24 July 2024 diff hist −68 Cryptids improve table format
02:4202:42, 24 July 2024 diff hist −77 Collatz-like improve links
02:3802:38, 24 July 2024 diff hist +19 N BB(5,2) Redirected page to BB(5) current Tag: New redirect
02:3502:35, 24 July 2024 diff hist −55 Busy Beaver Functions grammar fixes
02:2802:28, 24 July 2024 diff hist +1 m Champions No edit summary
02:2502:25, 24 July 2024 diff hist +11 Bell eats counter improve style
02:2302:23, 24 July 2024 diff hist +6 m Beeping Busy Beaver bold name
02:1602:16, 24 July 2024 diff hist +23 m Adjacent improve link
02:1302:13, 24 July 2024 diff hist +19 m Bigfoot stub
02:1302:13, 24 July 2024 diff hist −6 m 1RB2LC1RC 2LC---2RB 2LA0LB0RA improve link to tm
02:1102:11, 24 July 2024 diff hist +19 m 1RB0RE 0RC--- 1LD1LE 1LE1LD 1RF0LC 1RA1RF stub
02:0902:09, 24 July 2024 diff hist −16 1RB3RB1LB---2RB 2LA1RA4LB2LA2RA standardize heading
02:0802:08, 24 July 2024 diff hist +15 m 1RB3RB1LB---2RB 2LA1RA4LB2LA2RA stub
02:0702:07, 24 July 2024 diff hist +6 m Hydra bold name
02:0602:06, 24 July 2024 diff hist −2 m Skelet 1 fix spacing
02:0502:05, 24 July 2024 diff hist +126 1RB1LF 1LB1LC 1RD0LE ---0RB 0RC0LA 1RC0RF add links
02:0402:04, 24 July 2024 diff hist +6 m Antihydra bold name
01:5701:57, 24 July 2024 diff hist +25 Hydra a couple of improvements

Retrieved from "https://wiki.bbchallenge.org/wiki/Special:Contributions/Int-y1"