在Hilbert的程式的傳統，我們創建一個正式的正確（可由校對驗證器檢查），但可讀（如普通LaTeX教科書）的數學知識庫，這是在互聯網上免費訪問的。邏輯和集理論開始了。
版本歷史記錄
- 版本 0.04.02 發佈於 2011-05-01
- 版本 0.04.11 發佈於 2011-03-05
若干修復和更新
軟體細節
- 軟體分類： 教育 > 其他
- 發佈者： www.qedeq.org
- 軟體性質： 免費
- 價格： N/A
- 版本： 0.04.02
- 作業系統： linux
在Hilbert的程式的傳統，我們創建一個正式的正確（可由校對驗證器檢查），但可讀（如普通LaTeX教科書）的數學知識庫，這是在互聯網上免費訪問的。邏輯和集理論開始了。