←
Back to Open Source
🐙 GitHub Detail
L
Julian/lean.nvim
By Julian
Neovim support for the Lean theorem prover
GitHub
Lua
MIT License
Updated 30 May 2026
Live Snapshot
⭐
Stars
536
🍴
Forks
51
📄
License
MIT License
🧩
Type
Lua
📘
About this open-source project
Live information fetched from GitHub.
Neovim support for the Lean theorem prover
🌿
Default Branch
main
🐞
Open Issues
35
👀
Watchers
536