GitHub - ndrwnaguib/principia: Rewriting Principia Mathematica in Lean

GitHub Daily Trend - Un pódcast de VoiceFeed

Podcast artwork

https://github.com/ndrwnaguib/principia Rewriting Principia Mathematica in Lean. Contribute to ndrwnaguib/principia development by creating an account on GitHub.

Visit the podcast's native language site