Coq
本标签列表页为您列举一些Coq方面的文档。把最新最全的Coq相关文档推荐给您,让您轻松找到相关文档信息,并提供Coq相关文档查询解读下载等功能。
MathematicalTheoremMachineProvingSystemBasedonCoq-MachineProvingoftheFactorizationTheoremofPrincipalIdealDomain
Coq
Mathematical Theorem
Machine Proving
22浏览2025-07-20上传pdf0.86MB共8页未评分
MathematicalTheoremMachineProvingSystemBasedonCoq-MachineProvingoftheFactorizationTheoremofPrincipalIdealDomain
Coq
Principal Ideal Domain
Factorization Theorem
25浏览2025-07-20上传pdf0.86MB共8页未评分
MachineProvingSystemforMathematicalTheoremsbasedonCoq-MachineRealizationoftheAxiomaticSetTheory
Coq
Axiomatic Set Theory
Machine Proving System
26浏览2025-07-19上传pdf0.85MB共11页未评分
MachineProvingSystemforMathematicalTheoremsinCoq-MachineProvingofTukeyLemma
Coq
Tukey Lemma
Machine Proving
16浏览2025-07-19上传pdf0.71MB共7页未评分
基于Coq的选择公理及其等价命题的机器实现
Coq
选择公理
等价命题
27浏览2025-07-18上传pdf1.35MB共9页未评分