1. Proof Pearl: a Formal Proof of Higman’s Lemma in ACL2

   • Francisco Jesús Martín-Mateos
   • José Luis Ruiz-Reina
   • María José Hidalgo

   OriginalPaper 18 June 2010 Pages: 229 - 250

2. Conjecture Synthesis for Inductive Theories

   • Moa Johansson
   • Lucas Dixon
   • Alan Bundy

   OriginalPaper 24 July 2010 Pages: 251 - 289

3. Formal Power Series

   • Amine Chaieb

   OriginalPaper 06 August 2010 Pages: 291 - 318

4. A Certified Proof of the Cartan Fixed Point Theorems

   • Gianni Ciolli
   • Graziano Gentili
   • Marco Maggesi

   OriginalPaper 19 August 2010 Pages: 319 - 336