PeaCoq 介绍
PeaCoq 是 Coq 的前端，作为一个基于 Web 的文本编辑器，无论是新手还是高级用户，都能轻松使用 PeaCoq。客户端/服务器的架构意味着
PeaCoq 用户只需要一个 Web 浏览器就可以和在服务器上托管的 Coq 进行会话。不过不好的是，这也意味着 PeaCoq
不可以运行在你最喜欢的文本编辑器上。
PeaCoq 最主要的特点就是树模型。每当你进入了一个 proof，界面就会分成这样：
PeaCoq 官网
https://github.com/Ptival/PeaCoq
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 [email protected] 举报，一经查实，本站将立刻删除。
