正式證明檔案是證明庫、示例和更大的科學開發,機械地檢查定理證明伊莎貝爾的集合。它是以科學期刊的方式組織的。提交內容由裁判。
版本歷史記錄
- 版本 afp-Isabelle2011 發佈於 2011-04-03
若干修復和更新 - 版本 afp-Isabelle2011 發佈於 2011-04-03
軟體細節
- 軟體分類: 發展 > 其他
- 發佈者: afp.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: 2011
- 作業系統: linux
正式證明檔案是證明庫、示例和更大的科學開發,機械地檢查定理證明伊莎貝爾的集合。它是以科學期刊的方式組織的。提交內容由裁判。