交互式定理证明与程序开发：Coq归纳构造演算的艺术,伯托特(Yves Bertot),清华大学出版社,交互式,定理,证明,程序开发,Coq,归纳,构造,演算,艺术...
基于60个网页-相关网页
托尔伯特说：“我曾为我的工作感到自豪，对于在第一天就毁了它，我感到很忿怒。”
I was all so proud of my work and to crunch it up on the first day, I was really pissed, "Talbot said."
例如，托尔伯特所说的ADA要求新大楼至少要有一个入口对残疾人是无障碍的。
For instance, Talbot says the ADA requires that at least one entrance on new buildings be accessible.
托尔伯特还认为正是信念帮助他改善了自己的生活状况。
Talbot also thinks faith helped him through his own life circumstances.
应用推荐