GitHub - ndrwnaguib/principia: Rewriting Prof. Bertrand Russell's Principia Mathematica in Lean
GitHub Daily Trend - Podcast autorstwa VoiceFeed - Soboty
https://github.com/ndrwnaguib/principia Rewriting Prof. Bertrand Russell's Principia Mathematica in Lean - ndrwnaguib/principia Powered by VoiceFeed. https://voicefeed.web.app?utm_source=apple_githubtrenddaily&utm_medium=podcast Developer:https://twitter.com/_horotter
