机译:推导Coq-Elpi中经过验证的平等性测试:Coq中容器的更强归纳原理
机译:Mtac:Coq中用于类型化战术编程的Monad
机译:定理箴言COQ中直升机自动着陆控制算法的正式验证
机译:基于Coq的平面几何中交互式和自动定理证明的库
机译:用于分布式能源系统的逆变器,可在公用事业交互模式和独立模式之间无缝转换。
机译:iGEAK:交互式基因表达分析套件可使用R / shiny平台实现无缝工作流程
机译:Coq证明助手中的交互式打字战术编程
机译:交互式多传感器分析培训(ImaT)系统:操作员和战术员培训评估