vscode-lean4

leanprover

VS Code extension for the Lean 4 programming language and theorem prover

vscode

View on GitHub Website

296 Stars

97 Forks

10 Watchers

TypeScript Language

apache-2.0 License

100 SrcLog Score

Cost to Build

$715.7K

Market Value

$2.66M

How is this calculated?

Growth over time

9 data points · 2021-08-01 → 2026-07-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about vscode-lean4

Question copied to clipboard

What is the leanprover/vscode-lean4 GitHub project? Description: "VS Code extension for the Lean 4 programming language and theorem prover". Written in TypeScript. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone vscode-lean4

Clone via HTTPS

git clone https://github.com/leanprover/vscode-lean4.git

Clone via SSH

[email protected]:leanprover/vscode-lean4.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the vscode-lean4 issue tracker:

Open GitHub Issues

Similar to vscode-lean4

monaco-editor awesome-vscode polacode Vim vetur themer vscode-react-native vscode-docs vscode-chrome-debug vscode-icons vscode-jest vscode-csharp CN-VScode-Docs generator-rn-toolbox vscode-restclient import-cost node-docker-good-defaults vue-vscode-snippets night-owl-vscode-theme vscode-markdown public minapp vscode-angular-snippets evermonkey vscode-live-server import-js vscode-code-runner vscode-portable VSCodeNotebook vscode-background