GitHub - ndrwnaguib/principia: Rewriting Prof. Bertrand Russell's Principia Mathematica in Lean

GitHub Daily Trend - A podcast by VoiceFeed

https://github.com/ndrwnaguib/principia Rewriting Prof. Bertrand Russell's Principia Mathematica in Lean - ndrwnaguib/principia