Skip to content

[lsp] more elaborated lenses for clones

Loïc Corrensonrequested to merge
feature/lsp/clone-lenses into master
  • Enrich clone hovers to output cloned symbols and proof.
  • Enrich clone lenses to output consolidated proof results.
Edited by Loïc Correnson

Merge request reports