Julian/lean.nvim

Neovim support for the Lean theorem prover

↗ Open on GitHub

Stars

569

Forks

60

Language

Lua

License

MIT

Last push

3 weeks ago

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.