Archive of Formal Proofs 2011

许可: 免费 ‎文件大小: N/A
‎用户评分: 4.0/5 - ‎1 ‎评分

关于 Archive of Formal Proofs

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