Skip to content
GitLab
Explore
Sign in
[lsp] more elaborated lenses for clones
Code
Review changes
Check out branch
Download
Patches
Plain diff
Loïc Correnson
requested to merge
feature/lsp/clone-lenses
into
master
Sep 05, 2024
Overview
6
Commits
6
Pipelines
7
Changes
14
Expand
Enrich clone hovers to output cloned symbols and proof.
Enrich clone lenses to output consolidated proof results.
Edited
Sep 05, 2024
by
Loïc Correnson
Merge request reports