以HOL4为中心的交互式定理证明课程材料Material for an Interactive Theorem Proving Course focusing on HOL 4 (2019-11-13, PostScript, 315KB, 下载0次)