GitHub Awesome Search
Ranking
User
Stars this week
New repository
Trending Archive
User: Julian
lean.nvim
in
rockerBOO/awesome-neovim
Neovim support for the Lean theorem prover
created at Dec. 30, 2020, 8:48 p.m.
Lua
7
+0
277
+2
26
+0
GitHub
Sort: Most stars
Most stars
Fewest stars
Most forks
Fewest forks
Most watchers
Fewest watchers
Recently created
Least recently created
Recently updated
Least recently updated
Most repositories
Fewest repositories
All languages
1
Lua
1