http://kasterma.net
This is an unofficial reimagining of the Archive of Formal Proofs
An Example of a Cofinitary Group in Isabelle/HOLby Bart Kastermans