PeaCoqCoq 前端

联合创作 · 2023-09-30 15:00

PeaCoq 是 Coq 的前端,作为一个基于 Web 的文本编辑器,无论是新手还是高级用户,都能轻松使用 PeaCoq。客户端/服务器的架构意味着 PeaCoq 用户只需要一个 Web 浏览器就可以和在服务器上托管的 Coq 进行会话。不过不好的是,这也意味着 PeaCoq 不可以运行在你最喜欢的文本编辑器上。

PeaCoq 最主要的特点就是树模型。每当你进入了一个 proof,界面就会分成这样:

浏览 4
点赞
评论
收藏
分享

手机扫一扫分享

编辑 分享
举报
评论
图片
表情
推荐
点赞
评论
收藏
分享

手机扫一扫分享

编辑 分享
举报