Rare find

mathlib4. The math library of Lean 4

github.com/leanprover-community/mathlib4

by

@leanprover-community

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.