×

PeaCoq Coq前端

消耗积分:2 | 格式:zip | 大小:7.96 MB | 2022-05-24

微风挽雨

分享资料个

授权协议 MIT
开发语言 JavaScript
操作系统 跨平台
软件类型 开源软件
所属分类 应用工具、 文档/文本编辑

软件简介

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

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

poYBAGJ7LUmAZVG5AACnkOjm2dM620.png

 

下载并关注上传者 低至0.43元/天 开通VIP 免费下载

声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !