Lean (Primary Language)
Ordered by Stars
Found 1
mathlib 🔗 ❐
by leanprover 🔗 ❐
Lean mathematical components library
- forkCount: 36
- primaryLanguage: Lean
- license: Apache-2.0
- detectedLanguage: en
- stargazersCount: 62
- watchersCount: 24
- rolloCountStars: 2
- rolloCountContribs: 1
- contribsProrata: 1.7%
- starsProrata: 3.2%
- rank: #1