Julian / lean.nvim

neovim support for the Lean theorem prover

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Julian/lean.nvim Stargazers