search

Julian / lean.nvim

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

feat: trace nodes with messages #267

Closed gebner closed 2 years ago

gebner commented 2 years ago

Companion PR to https://github.com/leanprover/lean4/pull/1448