2019年曼彻斯特暑期学校：函数编程与交互式定理证明Faculty Summer School Manchester 2019: Functional Programming and Interactive Theorem Proving (2019-08-02, Isabelle, 256KB, 下载0次)