Jfehrle
- 活动总数 2
- 最后的活动
- 成员加入日期
- 关注 0 名用户
- 关注者数 0 名用户
- 投票数 0
- 订阅数 1
-
Jfehrle 创建了一个帖子， 已回答IntelliJ 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...