https://github.com/leanprover/lean.vim

https://github.com/leanprover/lean.vim

Last synced: 7 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/leanprover/lean.vim
• Owner: leanprover
• License: apache-2.0
• Created: 2017-05-03T14:22:20.000Z (about 9 years ago)
• Default Branch: master
• Last Pushed: 2021-09-29T15:18:18.000Z (over 4 years ago)
• Last Synced: 2024-12-25T17:11:21.520Z (over 1 year ago)
• Language: Vim script
• Size: 2.2 MB
• Stars: 18
• Watchers: 7
• Forks: 7
• Open Issues: 3
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Please use [lean.nvim](https://github.com/Julian/lean.nvim/) instead!

This plugin is no longer maintained.