A Semantic Framework for Proof Evidence Zakaria ChihaniDale MillerFabien Renaud OriginalPaper 05 July 2016 Pages: 287 - 330
Automated Reducible Geometric Theorem Proving and Discovery by Gröbner Basis Method Jie ZhouDingkang WangYao Sun OriginalPaper 22 November 2016 Pages: 331 - 344
Markov Chains and Markov Decision Processes in Isabelle/HOL Johannes Hölzl OriginalPaper 20 December 2016 Pages: 345 - 387