A "wait for lean compilation" language model tool - #795

A "wait for lean compilation" language model tool#795

mik-jozef wants to merge 1 commit into

leanprover:masterleanprover/vscode-lean4:masterfrom

mik-jozef:jozef/wait-for-diag-toolmik-jozef/vscode-lean4:jozef/wait-for-diag-toolCopy head branch name to clipboard