lean.vim
lean.vim
copied to clipboard
Published
20 hours ago
•
leanprover
→
Metadata
Readme
Issues
Please use
lean.nvim
instead!
This plugin is no longer maintained.
←
Metadata
19
Stars
7
Forks
Watchers
Owner
leanprover
Metadata
Back