口吃

GAPT是一个主要由维也纳理工大学开发的证明理论框架。GAPT包含数据结构、算法、解析器和其他在证明理论和自动推理中常见的组件。与自动化的、交互式的定理证明器相比,GAPT专注于证明的转换和进一步处理。