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

GitHub Daily Trend - En podcast av VoiceFeed - Måndagar

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

Visit the podcast's native language site