#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