neovim support for the Lean theorem prover
1
Version 2024.10.1-1 of lean.nvim was uploaded 136 days ago. For lua >= 5.1
