lean.nvim 2026.4.1-1

neovim support for the Lean theorem prover

Version 2026.4.1-1 of lean.nvim was uploaded 66 days ago. For lua >= 5.1

Files

FileSizeSHA-256MD5
lean.nvim-2026.4.1-1.rockspec896 bytes2f1761ff20…01ab4b3bc32a231c49ef8af434cadb90
lean.nvim-2026.4.1-1.src.rock308kbd4b1773b1b…5fef9d672a6a519d890c8ad21a66daa8