You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm actually wanting to do the same thing to interface a visual editor (http://q.uiver.app in a Webview) with Lean4 and/or Coq, each of which has a VSCode extension (math proof assistant languages).
The LSP samples are fairly confusing to me. Wondering if you could add a sample like this one?
https://gitlab.com/torokati44/vscode-glspc
The text was updated successfully, but these errors were encountered: