GitHub - ndrwnaguib/principia: Rewriting Principia Mathematica in Lean

https://github.com/ndrwnaguib/principia Rewriting Principia Mathematica in Lean. Contribute to ndrwnaguib/principia development by creating an account on GitHub.

Om Podcasten

GitHub trends to you daily. This podcast features popular GitHub repositories in an audio format, presented in a radio style. Stay updated on the latest trending technologies with ease. This is an unofficial channel, and we are not affiliated with the original media sources. The content is curated and produced independently by a Japanese software engineer. Powered by VoiceFeed. https://voicefeed.web.app