Julian/lean.nvim

**Summary** Julian/lean.nvim provides a native Neovim integration for the Lean theorem prover, letting users edit, compile, and interact with Lean files directl