Add Lean language indexing with optional LSP resolution#548

JJYYY-JJY wants to merge 1 commit into

colbymchenry:maincolbymchenry/codegraph:mainfrom

JJYYY-JJY:mainJJYYY-JJY/codegraph:mainCopy head branch name to clipboard