開發者 afp.sf.net

Archive of Formal Proofs 免費

正式證明檔案是證明庫、示例和更大的科學開發，機械地檢查定理證明伊莎貝爾的集合。它是以科學期刊的方式組織的。提交內容由裁判。