GitHub - leanprover-community/mathlib4: The math library of Lean 4
GitHub Daily Trend - Un pódcast de VoiceFeed
https://github.com/leanprover-community/mathlib4 The math library of Lean 4. Contribute to leanprover-community/mathlib4 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
