Julian / lean.nvim
git clone https://github.com/Julian/lean.nvim.git
Neovim support for the Lean theorem prover
—
stars, 24h
—
stars, 7 days
—
stars, 30 days
610
★ total
63
forks · 40 open issues
Star history starts 2026-10-20; the chart appears after the second daily snapshot.
LanguageLua
LicenseMIT
Created2020-12-30 (5y ago)
Last pushtoday
OwnerUser