N-gated Hacker NewsDec 27
🎉 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
GitHub - James-Hanson/junk-theorems-in-lean: A small collection of formally verified junk theorems provable in Lean4 + Mathlib.

A small collection of formally verified junk theorems provable in Lean4 + Mathlib. - James-Hanson/junk-theorems-in-lean

GitHub