基于 Web 的文本編輯器：PeaCoq
PeaCoq 是 Coq 的前端，作為一個基于 Web 的文本編輯器，無論是新手還是高級用戶，都能輕松使用 PeaCoq。客戶端/服務器的架構意味著 PeaCoq 用戶只需要一個 Web 瀏覽器就可以和在服務器上托管的 Coq 進行會話。不過不好的是，這也意味著 PeaCoq 不可以運行在你最喜歡的文本編輯器上。
PeaCoq 最主要的特點就是樹模型。每當你進入了一個 proof，界面就會分成這樣：
本文由用戶 jopen 自行上傳分享，僅供網友學習交流。所有權歸原作者，若您的權利被侵害，請聯系管理員。
轉載本站原創文章，請注明出處，并保留原始鏈接、圖片水印。
本站是一個以用戶分享為主的開源技術平臺，歡迎各類分享！