PeaCoqCoq 前端
PeaCoq 是 Coq 的前端，作为一个基于 Web 的文本编辑器，无论是新手还是高级用户，都能轻松使用 PeaCoq。客户端/服务器的架构意味着 PeaCoq 用户只需要一个 Web 浏览器就可以和在服务器上托管的 Coq 进行会话。不过不好的是，这也意味着 PeaCoq 不可以运行在你最喜欢的文本编辑器上。
PeaCoq 最主要的特点就是树模型。每当你进入了一个 proof，界面就会分成这样：
评论
Daza-frontenddaza.io 前端
Daza-frontend 是一个daza.io前端，使用Vue.js+Vuex开发。构建# install dependenciesnpm install# serve with hot reloa
Daza-frontenddaza.io 前端
0