简介
PeaCoq 是 Coq 的前端,作为一个基于 Web 的文本编辑器,无论是新手还是高级用户,都能轻松使用 PeaCoq。客户端/服务器的架构意味着 PeaCoq 用户只需要一个 Web 浏览器就可以和在服务器上托管的 Coq 进行会话。不过不好的是,这也意味着 PeaCoq 不可以运行在你最喜欢的... 更多
其它信息
地区
不详
开发语言
JavaScript
开源组织
无
所属分类
应用工具、 文档/文本编辑
授权协议
MIT
操作系统
跨平台
收录时间
2023-09-30
软件类型
开源软件
适用人群
未知
时光轴
里程碑1
LOG0
2023
2023-09
轻识收录
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%
推荐
Daza-frontenddaza.io 前端
Daza-frontend 是一个daza.io前端,使用Vue.js+Vuex开发。构建# install dependenciesnpm install# serve with hot reloa
Daza-frontenddaza.io 前端
0
react-native-overlayreact 前端组件
react-native-overlay 是一个 <Overlay /> 组件,视图前端
react-native-overlayreact 前端组件
0
material-components-webWeb 前端框架
Material Components for the web(MDC Web),是谷歌专为Web设
material-components-webWeb 前端框架
0
H-ui前端框架
H-ui 是一个基于Bootstrap框架的改进扩展,比Bootstrap更懂中国。完全免费,简单灵活,兼容性好,满足大多数中国网站。诠释H-uiHear这里U有I我hui辉(我的名字)He他yoU你
H-ui前端框架
0