#junktheorems β Public Fediverse posts
Live and recent posts from across the Fediverse tagged #junktheorems, aggregated by home.social.
-
π Behold! A groundbreaking compilation of "junk theorems" in #Lean4, because why not waste your time with math that doesn't matter? π Dive into this #GitHub treasure trove and make your brain cells work overtime for zero reward! π§ π₯
https://github.com/James-Hanson/junk-theorems-in-lean #junktheorems #mathhumor #brainwork #wasteoftime #HackerNews #ngated -
π Behold! A groundbreaking compilation of "junk theorems" in #Lean4, because why not waste your time with math that doesn't matter? π Dive into this #GitHub treasure trove and make your brain cells work overtime for zero reward! π§ π₯
https://github.com/James-Hanson/junk-theorems-in-lean #junktheorems #mathhumor #brainwork #wasteoftime #HackerNews #ngated -
π Behold! A groundbreaking compilation of "junk theorems" in #Lean4, because why not waste your time with math that doesn't matter? π Dive into this #GitHub treasure trove and make your brain cells work overtime for zero reward! π§ π₯
https://github.com/James-Hanson/junk-theorems-in-lean #junktheorems #mathhumor #brainwork #wasteoftime #HackerNews #ngated -
π Behold! A groundbreaking compilation of "junk theorems" in #Lean4, because why not waste your time with math that doesn't matter? π Dive into this #GitHub treasure trove and make your brain cells work overtime for zero reward! π§ π₯
https://github.com/James-Hanson/junk-theorems-in-lean #junktheorems #mathhumor #brainwork #wasteoftime #HackerNews #ngated