Rare find

mathlib3. Lean 3's obsolete mathematical components library: please use mathlib4

github.com/leanprover-community/mathlib3

@leanprover-community

Problem

Audience

Updates

No founder updates yet. Check back soon.