Julian/lean.nvim

Lean 定理证明器的 Neovim 支持。

↗ Open on GitHub

Stars

569

Forks

60

Language

Lua

License

MIT

Last push

3周前

Lua neovim nvim neovim-plugin tree-sitter lean4 lean leanprover nvim-treesitter

No related intel yet

This repo has not appeared in any of the sources the radar tracks. The collector runs on a schedule — check back once it covers this repo.