search

Julian / lean.nvim

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

Swap expanded trace symbols. #149

Closed gebner closed 3 years ago

gebner commented 3 years ago

I think this way it is more intuitive.