Lean (Primary Language)
Ordered by Contribs
Found 1
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