feat: completions for @[delab app.foo] attribute - #14971

feat: completions for @[delab app.foo] attribute#14971

kmill merged 1 commit into

masterleanprover/lean4:masterfrom

kmill_delab_app_completionleanprover/lean4:kmill_delab_app_completionCopy head branch name to clipboard