Julian/lean.nvim
View on GitHubNeovim support for the Lean theorem prover
- Stars
- 581
- Forks
- 60
- Open beginner issues
- 0
- Indexed issues
- 31
- Avg merge
- 4d 12h
- Merged PRs (30d)
- 2
- Dominant language
- Lua
- License
- MIT
- Last GitHub push
- Sep 13, 2026
- Latest indexed
- Sep 18, 2026
- Contributing guide
- Contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- help wanted
-
enhancement infoview
Julian/lean.nvim#31 · 2 comments · 0 reactions · 0 assignees ·
-
enhancement
Julian/lean.nvim#39 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement infoview
Julian/lean.nvim#43 · 6 comments · 1 reaction · 0 assignees ·
-
enhancement help wanted
Julian/lean.nvim#59 · 1 comment · 2 reactions · 0 assignees ·
-
Per-window infoviews Openenhancement infoview
Julian/lean.nvim#128 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
Julian/lean.nvim#157 · 4 comments · 0 reactions · 0 assignees ·
-
enhancement infoview
Julian/lean.nvim#166 · 0 comments · 1 reaction · 0 assignees ·
-
enhancement infoview
Julian/lean.nvim#172 · 2 comments · 0 reactions · 0 assignees ·
-
enhancement
Julian/lean.nvim#205 · 6 comments · 1 reaction · 0 assignees ·
-
bug
Julian/lean.nvim#235 · 2 comments · 0 reactions · 0 assignees ·
-
Make how and when the infoview updates more configurable, particularly for cases when it goes blank Openenhancement infoview
Julian/lean.nvim#257 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement infoview
Julian/lean.nvim#315 · 0 comments · 0 reactions · 0 assignees ·
-
bug
Julian/lean.nvim#329 · 1 comment · 0 reactions · 0 assignees ·
-
bug
Julian/lean.nvim#343 · 2 comments · 0 reactions · 0 assignees ·
-
enhancement
Julian/lean.nvim#344 · 1 comment · 0 reactions · 0 assignees ·
-
enhancement
Julian/lean.nvim#352 · 1 comment · 2 reactions · 0 assignees ·
-
enhancement
Julian/lean.nvim#355 · 1 comment · 0 reactions · 0 assignees ·
-
enhancement
Julian/lean.nvim#359 · 1 comment · 0 reactions · 0 assignees ·
-
enhancement
Julian/lean.nvim#369 · 2 comments · 0 reactions · 0 assignees ·
-
enhancement
Julian/lean.nvim#376 · 1 comment · 0 reactions · 0 assignees ·
-
enhancement
Julian/lean.nvim#379 · 8 comments · 1 reaction · 0 assignees ·
-
Julian/lean.nvim#409 · 4 comments · 0 reactions · 0 assignees ·
-
Julian/lean.nvim#432 · 4 comments · 0 reactions · 0 assignees ·
-
Julian/lean.nvim#442 · 1 comment · 4 reactions · 0 assignees ·
-
bug
Julian/lean.nvim#456 · 0 comments · 0 reactions · 0 assignees ·
-
Julian/lean.nvim#470 · 1 comment · 0 reactions · 0 assignees ·
-
Julian/lean.nvim#482 · 3 comments · 0 reactions · 0 assignees ·
-
bug
Julian/lean.nvim#492 · 0 comments · 1 reaction · 0 assignees ·
-
Julian/lean.nvim#517 · 2 comments · 0 reactions · 0 assignees ·
-
Julian/lean.nvim#519 · 0 comments · 0 reactions · 0 assignees ·
-
Julian/lean.nvim#524 · 0 comments · 0 reactions · 0 assignees ·