GitHub - ndrwnaguib/principia: Rewriting Principia Mathematica in Lean
GitHub Daily Trend - A podcast by VoiceFeed
https://github.com/ndrwnaguib/principia Rewriting Principia Mathematica in Lean. Contribute to ndrwnaguib/principia development by creating an account on GitHub.
