https://github.com/Julian/lean.nvim
Lua187
3 months ago
neovim support for the Lean theorem prover
MIT License