自动和交互式定理证明的轻量级集成

卡里姆·坎索,安东·塞泽尔.自动和交互式定理证明的轻量级集成.计算机科学中的数学结构, 26(1):129-153,2016 [美国国防部]

摘要

缺少摘要。