search

Julian / lean.nvim

neovim support for the Lean theorem prover
MIT License
248 stars 25 forks source link

fix link to the wiki Getting Started page #308

Closed crvdgc closed 11 months ago

Julian commented 11 months ago

Thanks!