Gitstar Ranking

leanprover / vscode-lean4

VS Code extension for the Lean 4 programming language and theorem prover - View it on GitHub
https://lean-lang.org/
Star
305
Rank
128494