开发者 afp.sf.net

Archive of Formal Proofs 免费

正式证明档案是证明库、示例和更大的科学开发，机械地检查定理证明伊莎贝尔的集合。它是以科学期刊的方式组织的。提交内容由裁判。