The Seventeen Provers of the World 2006

• Freek Wiedijk:
  Introduction. 1-9
  Electronic Edition (link) BibTeX
• Henk Barendregt:
  Informal. 10
  Electronic Edition (link) BibTeX
• John Harrison, Konrad Slind, Rob Arthan:
  HOL. 11-19
  Electronic Edition (link) BibTeX
• Andrzej Trybulec:
  Mizar. 20-23
  Electronic Edition (link) BibTeX
• Bart Jacobs, John M. Rushby:
  PVS. 24-27
  Electronic Edition (link) BibTeX
• Laurent Théry, Pierre Letouzey, Georges Gonthier:
  Coq. 28-35
  Electronic Edition (link) BibTeX
• Michael Beeson, William McCune:
  Otter/Ivy. 36-40
  Electronic Edition (link) BibTeX
• Markus Wenzel, Lawrence C. Paulson:
  Isabelle/Isar. 41-49
  Electronic Edition (link) BibTeX
• Thierry Coquand:
  Alfa/Agda. 50-54
  Electronic Edition (link) BibTeX
• Ruben Gamboa:
  ACL2. 55-66
  Electronic Edition (link) BibTeX
• Christophe Raffalli, Paul Rozière:
  PhoX. 67-71
  Electronic Edition (link) BibTeX
• William M. Farmer:
  IMPS. 72-87
  Electronic Edition (link) BibTeX
• Norman D. Megill:
  Metamath. 88-95
  Electronic Edition (link) BibTeX
• Wolfgang Windsteiger, Bruno Buchberger, Markus Rosenkranz:
  Theorema. 96-107
  Electronic Edition (link) BibTeX
• Conor McBride:
  Lego. 108-115
  Electronic Edition (link) BibTeX
• Paul Jackson:
  Nuprl. 116-126
  Electronic Edition (link) BibTeX
• Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann:
  Omega. 127-141
  Electronic Edition (link) BibTeX
• Dominique Cansell:
  B Method. 142-150
  Electronic Edition (link) BibTeX
• Helmut Schwichtenberg:
  Minlog. 151-157
  Electronic Edition (link) BibTeX