Julian / lean.nvim

Neovim support for the Lean theorem prover
MIT License
277 stars 26 forks source link

fix typo in README #151

Closed jcommelin closed 3 years ago

gebner commented 3 years ago

Thanks!

Julian commented 3 years ago

We've really suckered you in now, @jcommelin, you're invested :)