在Atom Editor中开发Coq代码的标准做法是什么？
[英]What are standard practices for developing Coq code in Atom Editor?
问题描述
I wanted to develop some Coq code in Atom. 
我想在Atom中开发一些Coq代码。 I wanted to be able to check my code line by line as usual just like with CoqIDE or emacs proof general. 我希望能够像往常一样逐行检查我的代码，就像使用CoqIDE或emacs证明一般一样。 Is there something like that for atom or how do people develop Coq code in Atom editor? 是否有类似原子的东西，或者人们如何在Atom编辑器中开发Coq代码？
some links: 一些链接：
https://discuss.atom.io/t/is-there-proof-general-for-coq-in-atom/60862 https://discuss.atom.io/t/is-there-proof-general-for-coq-in-atom/60862
Note: I mostly found syntax hilighting. 注意：我主要发现语法语法。
1 个解决方案
解决方案1
1 2018-11-30 02:44:56
Unfortunately not that I know of; 不幸的是我不知道。 the closest you have is vscoq which even if lagging a bit behind it is on the roadmap to become fully supported again once Coq can speak LSP. 与您最接近的是vscoq ，即使Coq会说LSP，即使落后一点，路线图也将再次得到完全支持。
A problem I see with Atom is that its future seems uncertain now that MicroSoft bought GitHub, and indeed, for example it seems to be lacking in LSP support. 我对Atom看到的一个问题是，由于MicroSoft收购了GitHub，它的未来似乎不确定，而且实际上，例如，它似乎缺乏LSP支持。
声明:本站的技术帖子网页，遵循CC BY-SA 4.0协议，如果您需要转载，请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.