A Mechanised Proof of Gödel’s Incompleteness Theorems Using Nominal Isabelle Lawrence C. Paulson OriginalPaper 02 April 2015 Pages: 1 - 37
Automated Theorem Proving in GeoGebra: Current Achievements Francisco BotanaMarkus HohenwarterSimon Weitzhofer OriginalPaper 29 March 2015 Pages: 39 - 59
The 2013 Evaluation of SMT-COMP and SMT-LIB David R. CokAaron StumpTjark Weber OriginalPaper 07 May 2015 Pages: 61 - 90