A Formally Verified Proof of the Central Limit Theorem Jeremy AvigadJohannes HölzlLuke Serafin OriginalPaper 08 February 2017 Pages: 389 - 423
Formally Proving Size Optimality of Sorting Networks Luís Cruz-FilipeKim S. LarsenPeter Schneider-Kamp OriginalPaper 01 February 2017 Pages: 425 - 454
The OWL Reasoner Evaluation (ORE) 2015 Competition Report Bijan ParsiaNicolas MatentzogluAndreas Steigmiller OriginalPaper Open access 21 February 2017 Pages: 455 - 482
The TPTP Problem Library and Associated Infrastructure Geoff Sutcliffe OriginalPaper 17 February 2017 Pages: 483 - 502