文件名称：jscoq：Coq到Javascript的端口-在浏览器中运行Coq
文件大小：2.41MB
文件格式：ZIP
更新时间：2024-03-06 00:26:43
javascript integrated-development-environment coq proof-assistant JavaScript
在浏览器中运行Coq Proof Assistant！ jsCoq是证明助手的在线集成开发环境，可在您的浏览器中运行！ 我们旨在为用户界面/交互提供新的可能性，并改善Coq平台本身的可访问性。 当前稳定版本是支持Coq 8.13.0的jsCoq 0.13.0，请尝试： jsCoq的编写符合ES2017； 任何最新的符合标准的浏览器都应该能够运行它。 不需要服务器或外部程序。 如果遇到问题，请参阅“部分。 jsCoq由一社区开发。 您是jsCoq用户吗？ 您是否使用jsCoq开发或教过课程？ 您对我们有什么反馈吗？ 如果是这样，请提交请求请求或问题，以便我们将您的讲座添加到列表中。 这对于保证项目的未来资金至关重要。 基本用法 主页显示了Georgs Gonthier通过使用证明素数无穷的证明，从而展示了jsCoq。 jsCoq完成加载后，您可以使用工具栏上的箭头按钮（右上角）或