Gitstar Ranking

leanprover / hex

Verified computational algebra in Lean 4: aggregator for the released hex libraries - View it on GitHub
https://kim-em.github.io/hex-dev/
Star
16
Rank
1200549