GitHub - leanprover/lean4: Lean 4 programming language and theorem prover
GitHub Daily Trend - Podcast autorstwa VoiceFeed
https://github.com/leanprover/lean4 Lean 4 programming language and theorem prover. Contribute to leanprover/lean4 development by creating an account on GitHub.
