NIII, Radboud University Nijmegen;
机译:Coq建构型理论中的常规语言表征。
机译:Coq建构型理论中的规则语言表示
机译:Coq中的非构造复杂分析
机译:C-玉米,Nijmegen的建设性COQ存储库
机译:表征推定激酶Coq8的稳定作用和Coq9多肽在酵母辅酶Q生物合成中的功能
机译:人类COQ9通过增强4-羟基苯甲酸的辅酶Q生物合成并稳定CoQ-Synthome来拯救coq9酵母突变体
机译:C-CoRN,奈梅亨的建设性Coq存储库
机译:基于存储库的软件工程程序的概念文档:建设性评估