Atom editor 在Atom编辑器中开发Coq代码的标准实践是什么？

我想在Atom中开发一些Coq代码。我希望能够像往常一样逐行检查我的代码，就像使用CoqIDE或emacs proof general一样。atom是否有类似的功能，或者人们如何在atom编辑器中开发Coq代码

一些链接：

---

---

注意：我主要发现语法有点模糊。

不幸的是，我不知道；你所拥有的最接近的是，即使稍微落后一点，一旦Coq能说LSP，它也会在路线图上再次得到完全支持

---

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

什么是LSP支持？MS=MiscrosoftLSP=Language Server Protocol，这是VsCode用来与工具通信的标准，也是我们希望在Coq中采用的标准。