INRIA - Tsinghua University Offices 3-604, FIT Building, Tsinghua University Haidian District, Beijing, 100084, China;
机译:与理论的一阶自动化推理:扣除模数理论符合实践
机译:时滞理论与Nelson-Oppen的可满足性模理论的比较分析
机译:人类COQ9通过增强4-羟基苯甲酸的辅酶Q生物合成并稳定CoQ-Synthome来拯救
机译:COQ Modulo理论
机译:统一模数公用列表函数讨论观察者理论的各种组合的模数复杂性和可判定性
机译:Coq的Hammer:从属类型理论的自动化
机译:没有类型转换的Coq:Coq模理论的完整证明