1. Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq

   • Pierre Boutry
   • Charly Gries
   • Pascal Schreck

   OriginalPaper 08 September 2017 Pages: 1 - 68

   

2. Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL

   • Wenda Li
   • Grant Olney Passmore
   • Lawrence C. Paulson

   OriginalPaper Open access 08 August 2017 Pages: 69 - 91

   

3. Verifying OpenJDK’s Sort Method for Generic Collections

   • Stijn de Gouw
   • Frank S. de Boer
   • Dominic Steinhöfel

   OriginalPaper Open access 31 August 2017 Pages: 93 - 126

   

4. Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic

   • Mauro Ferrari
   • Camillo Fiorentini

   OriginalPaper 07 September 2017 Pages: 127 - 167