Proof Pearl: Mechanizing the Textbook Proof of Huffman’s Algorithm

机译：证明珍珠：机械化霍夫曼算法的教科书证明

机译：珍珠证明-GHC的Mergesort机械化证明

机译：面向概率Hoare样式逻辑的密码算法公理化的机械化正确性证明

机译：类型统一算法的机械化教科书证明

机译：几何证据的教学与学习：教科书与教师的角色

机译：轻量级游戏证明（LPoG）：工作量证明（PoW）的可扩展肾脏轻量级共识算法

机译：Proof Pearl-GHC的Mergesort的机械化证明

机译：机械化证明理论：资源意识逻辑和证明转换提取隐含信息

机译：硅树脂和树脂防水·喷涂装置的耐蚀性以及使用硅树脂和树脂块状防水剂进行防水·机械化的耐腐蚀的施工方法

机译：二氧化硅和树脂用于喷涂装置的防水腐蚀，以及使用硅树脂和树脂块状防水技术进行机械化构造的防水腐蚀

机译：实现混合工作量证明/利益相关者分布式共识算法的方法