在浏览器中运行Coq Proof Assistant! jsCoq是证明助手的在线集成开发环境,可在您的浏览器中运行! 我们旨在为用户界面/交互提供新的可能性,并改善Coq平台本身的可访问性。 当前稳定版本是支持Coq 8.13.0的jsCoq 0.13.0,请尝试: jsCoq的编写符合ES2017; 任何最新的符合标准的浏览器都应该能够运行它。 不需要服务器或外部程序。 如果遇到问题,请参阅“部分。 jsCoq由一社区开发。 您是jsCoq用户吗? 您是否使用jsCoq开发或教过课程? 您对我们有什么反馈吗? 如果是这样,请提交请求请求或问题,以便我们将您的讲座添加到列表中。 这