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

GitHub Daily Trend - En podcast af VoiceFeed - Torsdage

Prøv Podimo gratis! i 30 dage

Et univers fyldt med hundredvis af eksklusive podcasts & lydbøger, klik her for at prøve

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