#russellprincipialean — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #russellprincipialean, aggregated by home.social.
-
🎩✨ Some brave soul decided to rewrite Russell's magnum opus in Lean, because clearly what the world needs is a mathematical tome that's both incomprehensible *and* unreadable. Now you can enjoy Principia Mathematica with the added thrill of navigating GitHub's labyrinthine features! 🤖🔍
https://github.com/ndrwnaguib/principia #RussellPrincipiaLean #GitHubMathematics #IncomprehensibleTome #BraveSoul #HackerNews #ngated -
🎩✨ Some brave soul decided to rewrite Russell's magnum opus in Lean, because clearly what the world needs is a mathematical tome that's both incomprehensible *and* unreadable. Now you can enjoy Principia Mathematica with the added thrill of navigating GitHub's labyrinthine features! 🤖🔍
https://github.com/ndrwnaguib/principia #RussellPrincipiaLean #GitHubMathematics #IncomprehensibleTome #BraveSoul #HackerNews #ngated -
🎩✨ Some brave soul decided to rewrite Russell's magnum opus in Lean, because clearly what the world needs is a mathematical tome that's both incomprehensible *and* unreadable. Now you can enjoy Principia Mathematica with the added thrill of navigating GitHub's labyrinthine features! 🤖🔍
https://github.com/ndrwnaguib/principia #RussellPrincipiaLean #GitHubMathematics #IncomprehensibleTome #BraveSoul #HackerNews #ngated -
🎩✨ Some brave soul decided to rewrite Russell's magnum opus in Lean, because clearly what the world needs is a mathematical tome that's both incomprehensible *and* unreadable. Now you can enjoy Principia Mathematica with the added thrill of navigating GitHub's labyrinthine features! 🤖🔍
https://github.com/ndrwnaguib/principia #RussellPrincipiaLean #GitHubMathematics #IncomprehensibleTome #BraveSoul #HackerNews #ngated