Julian/lean.nvim

github.comtool

Support for the Lean Theorem Prover.

from

Neovim

added

2026-10-10

likes

0

Neovim › Programming Languages Support: “Support for the Lean Theorem Prover.”