Julian/lean.nvim

Soporte de Neovim para el demostrador de teoremas Lean.

↗ Open on GitHub

Stars

569

Forks

60

Language

Lua

License

MIT

Last push

hace 3 semanas

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.