PeaCoq Coq 前端

授权协议：MIT操作系统：跨平台开发语言：JavaScript 查看源码 »

PeaCoq 是 Coq 的前端，作为一个基于 Web 的文本编辑器，无论是新手还是高级用户，都能轻松使用 PeaCoq。客户端/服务器的架构意味着 PeaCoq 用户只需要一个 Web 浏览器...