feat(ui/codelens): implement ProofCodeCodeLensProvider for inline editor symbol impact - #26

feat(ui/codelens): implement ProofCodeCodeLensProvider for inline editor symbol impact#26

waleedcodes merged 3 commits into

workingwaleedcodes/proofcode:workingfrom

pr-26-src-ui-codeLensProviderwaleedcodes/proofcode:pr-26-src-ui-codeLensProviderCopy head branch name to clipboard