This is an unofficial reimagining of the Archive of Formal Proofs
Finger Treesby Benedikt Nordhoff, Stefan Körner and Peter Lammich