PeaCoqCoq 前端
認領
0粉絲
PeaCoq 是 Coq 的前端，作為一個基于 Web 的文本編輯器，無論是新手還是高級用戶，都能輕松使用 PeaCoq?？蛻舳?服務器的架構意味著 PeaCoq 用戶只需要一個 Web 瀏覽器就可以和在服務器上托管的 Coq 進行會話。不過不好的是，這也意味著 PeaCoq 不可以運行在你最喜歡的
簡介
PeaCoq 是 Coq 的前端，作為一個基于 Web 的文本編輯器，無論是新手還是高級用戶，都能輕松使用 PeaCoq?？蛻舳?服務器的架構意味著 PeaCoq 用戶只需要一個 Web 瀏覽器就可以和在服務器上托管的 Coq 進行會話。不過不好的是，這也意味著 PeaCoq 不可以運行在你最喜歡的... 更多
技術信息
開源協(xié)議
MIT
開發(fā)語言
JavaScript
操作系統(tǒng)
跨平臺
軟件類型
開源軟件
所屬分類
應用工具、 文檔/文本編輯
開源組織
無
地區(qū)
不詳
適用人群
未知
評價
0.0（滿分 10 分）0 個評分
什么是點評分
圖片
表情
全部評價(
0)
推薦率
100%