GitHub - ndrwnaguib/principia: Rewriting Principia Mathematica in Lean

GitHub Daily Trend - Podcast tekijän mukaan VoiceFeed

kokeile Podimo ilmaiseksi 90!!! päivän ajan

universumia joka on täynnä satoja podcasteja ja äänikirjoja, klikkaa tätä kokeillaksesi

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