GitHub - leanprover-community/mathlib4: The math library of Lean 4

GitHub Daily Trend - En podcast af VoiceFeed

Prøv Podimo gratis! i 30 dage

Et univers fyldt med hundredvis af eksklusive podcasts & lydbøger, klik her for at prøve

https://github.com/leanprover-community/mathlib4 The math library of Lean 4. Contribute to leanprover-community/mathlib4 development by creating an account on GitHub.

Visit the podcast's native language site