1. A Semantic Framework for Proof Evidence

   • Zakaria Chihani
   • Dale Miller
   • Fabien Renaud

   OriginalPaper 05 July 2016 Pages: 287 - 330

   

2. Automated Reducible Geometric Theorem Proving and Discovery by Gröbner Basis Method

   • Jie Zhou
   • Dingkang Wang
   • Yao Sun

   OriginalPaper 22 November 2016 Pages: 331 - 344

   

3. Markov Chains and Markov Decision Processes in Isabelle/HOL

   • Johannes Hölzl

   OriginalPaper 20 December 2016 Pages: 345 - 387