1. A Formally Verified Proof of the Central Limit Theorem

   • Jeremy Avigad
   • Johannes Hölzl
   • Luke Serafin

   OriginalPaper 08 February 2017 Pages: 389 - 423

   

2. Formally Proving Size Optimality of Sorting Networks

   • Luís Cruz-Filipe
   • Kim S. Larsen
   • Peter Schneider-Kamp

   OriginalPaper 01 February 2017 Pages: 425 - 454

   

3. The OWL Reasoner Evaluation (ORE) 2015 Competition Report

   • Bijan Parsia
   • Nicolas Matentzoglu
   • Andreas Steigmiller

   OriginalPaper Open access 21 February 2017 Pages: 455 - 482

   

4. The TPTP Problem Library and Associated Infrastructure

   • Geoff Sutcliffe

   OriginalPaper 17 February 2017 Pages: 483 - 502