GitHub - leanprover/lean4: Lean 4 programming language and theorem prover

GitHub Daily Trend - Un pódcast de VoiceFeed

https://github.com/leanprover/lean4 Lean 4 programming language and theorem prover. Contribute to leanprover/lean4 development by creating an account on GitHub. Powered by VoiceFeed. https://voicefeed.web.app/lp/podcast?utm_source=apple_githubtrenddaily&utm_medium=podcast Developer:https://twitter.com/_horotter

Visit the podcast's native language site