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

GitHub Daily Trend - Podcast készítő VoiceFeed - Csütörtökök

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

Visit the podcast's native language site