CtCoq 系统：设计和架构PDF书籍下载

原名:The CtCoq System: Design and Architecture
作品简介:指向证明算法仅处理谓词演算。很多..GRB93]Doug Goldson、Steve Reeves 和 Richard Bornat。回顾……