vscode-lean4

leanprover

Visual Studio Code extension for the Lean 4 proof assistant

vscode

View on GitHub

73 Stars

21 Forks

73 Watchers

TypeScript Language

apache-2.0 License

Cost to Build

$397.9K

Market Value

$636.7K

How is this calculated?

Growth over time

7 data points · 2021-08-01 → 2023-06-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: "Visual Studio Code extension for the Lean 4 proof assistant". 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

dotfiles awesome-vscode polacode vetur vscode-restclient vscode-code-runner vscode-portable VSCodeNotebook visual-studio-code OpenInCode vscode-project-manager vscode-markdown-pdf vscode-bookmarks vscode-intelephense vscode-palenight-theme monaco-editor CN-VScode-Docs public Vim graphql-starter-kit vscode-hack azure-iot-developer-kit graphiql vscode-R themer vscode-react-native vscode-docs vscode-chrome-debug vscode-icons vscode-jest