leanprover/vscode-lean4
GitHub
Releases237
Frequency1 week 1 day
Last Release
Stars284
VS Code extension for the Lean 4 programming language and theorem prover
Collections containing this project
Showing collections based on your access.
This project is not in any collections you can view.