電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
軟件簡介
PeaCoq 是 Coq 的前端，作為一個(gè)基于 Web 的文本編輯器，無論是新手還是高級(jí)用戶，都能輕松使用 PeaCoq?？蛻舳?服務(wù)器的架構(gòu)意味著 PeaCoq 用戶只需要一個(gè) Web 瀏覽器就可以和在服務(wù)器上托管的 Coq 進(jìn)行會(huì)話。不過不好的是，這也意味著 PeaCoq 不可以運(yùn)行在你最喜歡的文本編輯器上。
PeaCoq 最主要的特點(diǎn)就是樹模型。每當(dāng)你進(jìn)入了一個(gè) proof，界面就會(huì)分成這樣：
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 終端-射頻前端(濾波器、功率放大器)詳解
- [前端方案]火焰識(shí)別技術(shù)材料
- 4至14芯電池組監(jiān)視器的模擬前端芯片OZ9355 63次下載
- 4-7芯電池組保護(hù)器模擬前端芯片OZ9350 28次下載
- Spring Microservices in Action，前端后端開發(fā)必備書籍
- SRC、PRC、LLC拓?fù)湓?b class="flag-6" style="color: red">前端變換中的應(yīng)用 25次下載
- 智能手機(jī)RF前端（RFFE）設(shè)計(jì)分析資料下載
- Web前端的視頻教程資料免費(fèi)下載 18次下載
- APC1278射頻前端技術(shù)的使用說明書 9次下載
- 如何設(shè)計(jì)實(shí)現(xiàn)寬帶數(shù)字收發(fā)機(jī)射頻前端 18次下載
- RF5325應(yīng)用在WiFi和藍(lán)牙前端模塊的集成解決方案應(yīng)用和數(shù)據(jù)免費(fèi)下載
- TQM679002A全WLAN和BT前端模塊的詳細(xì)數(shù)據(jù)手冊(cè)免費(fèi)下載
- 基于Delta-Sigma ADCs的ECG系統(tǒng)模擬前端設(shè)計(jì) 9次下載
- Z3的Coq自動(dòng)證明策略的設(shè)計(jì) 0次下載
- 智能天線射頻前端電路的研究和設(shè)計(jì)
- 前端總線與內(nèi)存頻率怎么配 337次閱讀
- 前端總線頻率怎么看的 502次閱讀
- 前端總線頻率的類型是什么? 329次閱讀
- 前端總線頻率和內(nèi)存的關(guān)系 476次閱讀
- 前端總線是屬于什么總線 632次閱讀
- AFE模擬前端芯片是什么 AFE模擬前端芯片怎么用 4592次閱讀
- 模擬前端的功能有哪些 977次閱讀
- 模擬前端芯片的差異分析 912次閱讀
- 什么是模擬前端芯片技術(shù) 數(shù)字前端和模擬前端的區(qū)別 1812次閱讀
- AFE模擬前端的組成 842次閱讀
- 模擬前端電路指的是什么 1168次閱讀
- AFE模擬前端是什么意思 AFE模擬前端的原理和作用 3351次閱讀
- 騰訊開源的前端框架介紹 2196次閱讀
- 前端技術(shù)是什么 2018次閱讀
- 前端開發(fā)環(huán)境介紹_前端開發(fā)環(huán)境安裝與配置 1.7w次閱讀
上傳資料賺積分下載排行
本周
- 1涂鴉各WiFi模塊原理圖加PCB封裝
- 11.75 MB | 76次下載 | 1 積分
- 2錦銳科技CA51F2 SDK開發(fā)包
- 24.06 MB | 29次下載 | 1 積分
- 3錦銳CA51F005 SDK開發(fā)包
- 19.47 MB | 3次下載 | 1 積分
- 4蘋果iphone 11電路原理圖
- 4.98 MB | 3次下載 | 2 積分
- 5基礎(chǔ)模擬電子電路
- 3.80 MB | 3次下載 | 1 積分
- 6RA-Eco-RA6M4-100PIN-V1.0開發(fā)板資料
- 34.89 MB | 1次下載 | 免費(fèi)
- 7STM32F3系列、STM32F4系列、STM32L4系列和STM32L4+系列Cortex-M4編程手冊(cè)
- 3.32 MB | 1次下載 | 免費(fèi)
- 8聯(lián)想A820t手機(jī)維修圖紙包括主板原理圖 尾板原理圖 點(diǎn)位圖
- 0.62 MB | 次下載 | 5 積分
本月
- 1AI智能眼鏡產(chǎn)業(yè)鏈分析
- 4.43 MB | 383次下載 | 免費(fèi)
- 2蘇泊爾電磁爐線路的電路原理圖資料合集
- 2.02 MB | 296次下載 | 5 積分
- 3貼片三極管上的印字與真實(shí)名稱的對(duì)照表詳細(xì)說明
- 0.50 MB | 94次下載 | 1 積分
- 4長虹液晶電視R-HS310B-5HF01的電源板電路原理圖
- 0.46 MB | 91次下載 | 5 積分
- 5涂鴉各WiFi模塊原理圖加PCB封裝
- 11.75 MB | 76次下載 | 1 積分
- 6錦銳科技CA51F2 SDK開發(fā)包
- 24.06 MB | 29次下載 | 1 積分
- 7AO4803A雙P通道增強(qiáng)型場效應(yīng)晶體管的數(shù)據(jù)手冊(cè)
- 0.11 MB | 28次下載 | 2 積分
- 8長虹液晶彩電LS29機(jī)芯的技術(shù)資料說明
- 3.42 MB | 16次下載 | 2 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935127次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191388次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183342次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81588次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73815次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
工商網(wǎng)監(jiān)
評(píng)論