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
| File | Size | SHA-256 | MD5 |
| lean.nvim-2026.4.1-1.rockspec | 896 bytes | 2f1761ff20… | 01ab4b3bc32a231c49ef8af434cadb90 |
| lean.nvim-2026.4.1-1.src.rock | 308kb | d4b1773b1b… | 5fef9d672a6a519d890c8ad21a66daa8 |