Geeks
Julian
/
lean.nvim
neovim support for the Lean theorem prover
Primary Language
Lua
MIT License
MIT
lean.nvim GitHub
Markdown
Readme
167
Issues
226
Stargazers
9
Watchers
Watchers
chenle02
Auburn University
eemailme
gebner
Microsoft Research
jhcloos
Julian
New York, NY
llllvvuu-watcher
rgrinberg
Toronto
rish987
Paris
tomhoule
@grafbase