UCL Interaction Centre, University College London, London, WC1E 7DP, UK;
机译:证明给我看!从CafeOBJ证明分数推断正式证明脚本
机译:互动定理证明者Matita证明了勒贝格的主导收敛定理的建设性和形式化证明
机译:交互式定理证明者Matita中Lebesgue占优收敛定理的建设性和形式化证明
机译:识字证明:提出和记录正式证明
机译:降低基于证明助手的形式验证的成本或:无需证明负担的定罪。
机译:使用定理证明关于系统生物学的形式推理
机译:文化证明:呈现和记录正式证明
机译:定理证明与形式验证的显性反思