机译：构造的开放演算（第二部分）：依赖类型的方程式类型理论，用于编程，规范和交互式定理证明
机译：构造的开放演算（第一部分）：依赖类型的方程式理论，用于程序设计，规范和交互式定理证明
机译：自动定理证明多重半精算的新代数工具：一种提高时间逻辑证明者效率的结构
机译：用TPS自动证明类型理论的定理
机译：用实验数学猜想和证明定理在分配和可交换与非可交换递归理论中。
机译：自动合成流式细胞仪数据可视化的定理证明方法
机译：Tps：一种证明类型理论定理的交互式自动工具
机译：一种用于递归函数理论的引理驱动自动定理证明器。
