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

Question

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

一些链接：

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

---

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

Answer 1

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

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