Jfehrle
- 活动总数 2
- 最后的活动
- 成员加入日期
- 关注 0 名用户
- 关注者数 0 名用户
- 投票数 0
- 订阅数 1
-
创建于 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...