ndrwnaguib/principia

Rewriting Principia Mathematica in Lean

188 best points · 34 comments · 1 Hacker News post · 143 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Formalizing Principia Mathematica using Lean (188 points, 34 comments, by ndrwnaguib, 2025-04-25)