coq-lsp icon indicating copy to clipboard operation
coq-lsp copied to clipboard

Published 20 hours ago • verified publisher icon ejgallego

Restart checking on document edit (interrupting Coq)

Open ejgallego opened this issue 2 years ago • 0 comments

ejgallego avatar Jul 06 '22 19:07 ejgallego