feat(ui/tree): implement ProofCodeTreeDataProvider for VS Code Activity Bar overview - #25

feat(ui/tree): implement ProofCodeTreeDataProvider for VS Code Activity Bar overview#25

waleedcodes merged 3 commits into

workingwaleedcodes/proofcode:workingfrom

pr-25-src-ui-treeDataProviderwaleedcodes/proofcode:pr-25-src-ui-treeDataProviderCopy head branch name to clipboard