mirror of
https://github.com/LazyVim/LazyVim.git
synced 2025-06-24 17:58:51 +02:00
3e29fdf478
## Description <!-- Describe the big picture of your changes to communicate to the maintainers why we should accept this pull request. --> Adds language support for lean, a popular proof assistant and theorem prover. ## Related Issue(s) <!-- If this PR fixes any issues, please link to the issue here. - Fixes #<issue_number> --> None ## Screenshots <!-- Add screenshots of the changes if applicable. --> Language Server <img width="1510" alt="lsp" src="https://github.com/user-attachments/assets/28c29cae-eca4-4dfa-a4a4-462551f5cfd8"> Lean Execution (infobox on the right) <img width="1510" alt="goals" src="https://github.com/user-attachments/assets/e195dbeb-70d6-4f09-90bf-dbe289423bec"> Keymaps <img width="1510" alt="keymaps" src="https://github.com/user-attachments/assets/2451c3d2-b855-4fb5-9d30-33305274c52c"> Many More Commands <img width="1510" alt="lots of commands" src="https://github.com/user-attachments/assets/e7b7eb1d-0f4e-4d3c-a58b-a87eb7e0319c"> ## Checklist - [x] I've read the [CONTRIBUTING](https://github.com/LazyVim/LazyVim/blob/main/CONTRIBUTING.md) guidelines. --------- Co-authored-by: Folke Lemaitre <folke.lemaitre@gmail.com> |
||
|---|---|---|
| .. | ||
| coding | ||
| dap | ||
| editor | ||
| formatting | ||
| lang | ||
| linting | ||
| lsp | ||
| test | ||
| ui | ||
| util | ||
| vscode.lua | ||