Jfehrle
- Total activity 2
- Last activity
- Member since
- Following 0 users
- Followed by 0 users
- Votes 0
- Subscriptions 1
-
Jfehrle created a post, AnsweredIntelliJ support for Language Server Protocol (as a client)?
We're looking at creating a new IDE for Coq, a proof assistant (https://coq.inria.fr/). IntelliJ seems like a possible candidate for the base IDE. Several developers have expressed interest in us...