http://www.logic.at/people/hetzl/
This is an unofficial reimagining of the Archive of Formal Proofs
The Cayley-Hamilton Theoremby Stephan Adelsberger, Stefan Hetzl and Florian Pollak
Bondy's Theoremby Jeremy Avigad and Stefan Hetzl