The Seventeen Provers of the World

This page is the home of a comparison between proof assistants by having a proof of the irrationality of the square root of two in seventeen different proof assistants. There is also something like a consumer test of these systems.