http://nm.wu.ac.at/nm/sadelsbe
This is an unofficial reimagining of the Archive of Formal Proofs
The Cayley-Hamilton Theoremby Stephan Adelsberger, Stefan Hetzl and Florian Pollak