在Atom Editor中开发Coq代码的标准做法是什么？

Question

我想用Atom开发一些Coq代码。我希望能够像往常一样逐行检查我的代码，就像使用CoqIDE或emacs证明一般一样。原子是否有类似的东西，或者人们如何在Atom编辑器中开发Coq代码？

一些链接：

https://discuss.atom.io/t/is-there-proof-general-for-coq-in-atom/60862

---

注意：我主要发现语法的亮点。

Answer 1

不幸的是我不知道；您拥有的最接近的是vscoq，即使Coq会说出LSP，即使稍稍落后，路线图也将再次得到完全支持。

我对Atom看到的一个问题是，由于MicroSoft收购了GitHub，它的未来似乎不确定，而且事实上，例如，它似乎缺乏LSP支持。