Wiedijk, Freek "The Fifteen Provers of the World"
(1998)
Languages mentioned
coq
{1991}
HOL
{1985} Higher Order Logic
Isabelle
{1988}
Mizar
{1988}
Otter
{1988}
PVS
{1992} Prototype Verification System