any plans to support interactive theorem provers like coq and agda? #6499
Unanswered
SomeGuyNamedMay
asked this question in
General
Replies: 3 comments
-
|
Coq even has an official LSP!. But it's not configured as default in this repo's |
Beta Was this translation helpful? Give feedback.
0 replies
-
|
this would really help me in my day to day life |
Beta Was this translation helpful? Give feedback.
0 replies
-
|
I did just create a PR for coq using the LSP @Rudxain suggested. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
just wondering
Beta Was this translation helpful? Give feedback.
All reactions