#leanusers — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #leanusers, aggregated by home.social.
-
✨ Why formalize math? Because apparently, mathematicians need a second job as safety inspectors. 🔍🚧 Meanwhile, Lean users are having a mid-life crisis by reliving high school math exercises. 📚😂
https://rkirov.github.io/posts/why_lean/ #formalizeMath #safetyInspectors #LeanUsers #mathHumor #midLifeCrisis #HackerNews #ngated