Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq Pierre BoutryCharly GriesPascal Schreck OriginalPaper 08 September 2017 Pages: 1 - 68
Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL Wenda LiGrant Olney PassmoreLawrence C. Paulson OriginalPaper Open access 08 August 2017 Pages: 69 - 91
Verifying OpenJDK’s Sort Method for Generic Collections Stijn de GouwFrank S. de BoerDominic Steinhöfel OriginalPaper Open access 31 August 2017 Pages: 93 - 126
Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic Mauro FerrariCamillo Fiorentini OriginalPaper 07 September 2017 Pages: 127 - 167