keyvalue
id325645198
namelean.nvim
full_nameJulian/lean.nvim
html_urlhttps://github.com/Julian/lean.nvim
descriptionNeovim support for the Lean theorem prover
created_atDec. 30, 2020, 8:48 p.m.
updated_atNov. 16, 2024, 4:29 a.m.
pushed_atNov. 15, 2024, 3:55 p.m.
size1,888
stargazers_count278
watchers_count7
forks_count27
open_issues24
languageLua
awesome_list

https://github.com/rockerBOO/awesome-neovim