1. Theorem of Three Circles in Coq

   • Julianna Zsidó

   OriginalPaper 22 December 2013 Pages: 105 - 127

2. Proof Pearl: The KeY to Correct and Stable Sorting

   • Stijn de Gouw
   • Frank de Boer
   • Jurriaan Rot

   OriginalPaper 15 January 2014 Pages: 129 - 139

3. Machine Learning for First-Order Theorem Proving

   • James P. Bridge
   • Sean B. Holden
   • Lawrence C. Paulson

   OriginalPaper 22 February 2014 Pages: 141 - 172

4. Learning-Assisted Automated Reasoning with Flyspeck

   • Cezary Kaliszyk
   • Josef Urban

   OriginalPaper Open access 01 June 2014 Pages: 173 - 213