search

Julian / lean.nvim

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

Recommend a minimap plugin with configurable processing information #350

Closed Julian closed 1 month ago

Julian commented 1 month ago

Relates to #349