Add LSP command to add DEFs to a leaf proof for ExpandENABLED to work.

Open kape1395 opened this issue 1 year ago • 2 comments

This could replace the AutoUSE directive.

Sep 12 '24 06:09 kape1395

It could also be interesting to see how well e.g. Github Copilot is able to predict those defs.

Sep 12 '24 12:09 lemmy

@vleveris, can you check this?

It could also be interesting to see how well e.g. Github Copilot is able to predict those defs.

Sep 12 '24 22:09 kape1395