Freek Wiedijk (Ed.):
The Seventeen Provers of the World, Foreword by Dana S. Scott.
Lecture Notes in Computer Science 3600 Springer 2006, ISBN 3-540-30704-4 
- Freek Wiedijk:
Introduction.
1-9
- Henk Barendregt:
Informal.
10
- John Harrison, Konrad Slind, Rob Arthan:
HOL.
11-19
- Andrzej Trybulec:
Mizar.
20-23
- Bart Jacobs, John M. Rushby:
PVS.
24-27
- Laurent Théry, Pierre Letouzey, Georges Gonthier:
Coq.
28-35
- Michael Beeson, William McCune:
Otter/Ivy.
36-40
- Markus Wenzel, Lawrence C. Paulson:
Isabelle/Isar.
41-49
- Thierry Coquand:
Alfa/Agda.
50-54
- Ruben Gamboa:
ACL2.
55-66
- Christophe Raffalli, Paul Rozière:
PhoX.
67-71
- William M. Farmer:
IMPS.
72-87
- Norman D. Megill:
Metamath.
88-95
- Wolfgang Windsteiger, Bruno Buchberger, Markus Rosenkranz:
Theorema.
96-107
- Conor McBride:
Lego.
108-115
- Paul Jackson:
Nuprl.
116-126
- Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann:
Omega.
127-141
- Dominique Cansell:
B Method.
142-150
- Helmut Schwichtenberg:
Minlog.
151-157
Copyright © Mon Nov 23 23:27:08 2009
by Michael Ley (ley@uni-trier.de)
