Gitstar Ranking

gmh5225 / language-lean4

Lean 4 programming language and theorem prover - View it on GitHub
https://leanprover.github.io/
Star
0
Rank
11541311