3Editors & Environments
14 entries
- vscode-lean4Official VS Code extension with infoview, widgets and Unicode input.leanprover/vscode-lean4
- lean.nvimNeovim support for Lean 4, including an infoview.Julian/lean.nvim
- lean.vimPort of lean.nvim to Vim.SamuelSchlesinger/lean.vim
- lean4-modeEmacs major mode for Lean 4.leanprover-community/lean4-mode
- lean-ts-modeTree-sitter-based Emacs mode.lua-vr/lean-ts-mode
- tree-sitter-leanTree-sitter grammar for Lean 4.Julian/tree-sitter-lean
- lean4ijIntelliJ platform plugin for Lean 4.onriv/lean4ij
- acme-lsp-leanLean support for the Acme editor.maksym-radziwill/acme-lsp-lean
- lean-tuiTerminal infoview built with Ratatui, driven by an LSP proxy.
- xeus-leanJupyter kernel for Lean 4 built on the xeus protocol.Verilean/xeus-lean
- lean4_jupyterJupyter kernel for Lean 4 using the REPL.utensil/lean4_jupyter
- ProofWidgets4Build custom interactive UI widgets (React) for the infoview.leanprover-community/ProofWidgets4
- bubbleOpen Lean projects and PRs in sandboxed VS Code containers so untrusted code can't touch your machine.kim-em/bubble
- PaperproofInfoview that shows proofs as pen-and-paper-style trees.Paper-Proof/paperproof