proxy.golang.org : github.com/Julian/lean.nvim

neovim support for the Lean theorem prover

Registry - Source - Documentation - JSON - codemeta.json
purl: pkg:golang/github.com/%21julian/lean.nvim
Keywords: lean , lean4 , leanprover , neovim , neovim-plugin , nvim , nvim-treesitter , tree-sitter
License: MIT
Latest release: about 2 months ago
First release: over 1 year ago
Stars: 228 on GitHub
Forks: 23 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 16 days ago

• Readme
• Versions 8
• Dependent Packages 0
• Maintainers 0
• Related Packages 1