Formally Verified Mathematics2014-04-0146 PRE AI JJeremy Avigad *JJohn Harrison DOI:10.1145/2591012原文链接原文求助分享收藏摘要 En Keyword:HOL