This is an unofficial reimagining of the Archive of Formal Proofs
Stream Fusion in HOL with Code Generationby Andreas Lochbihler and Alexandra Maximova