Julian/lean.nvim

**Julian/lean.nvim** — это плагин для Neovim, предоставляющий полноценную интеграцию с теорем‑доказателем Lean (подсветка синтаксиса, автодополнение, интерактив