This is an unofficial reimagining of the Archive of Formal Proofs
BDD Normalisationby Veronika Ortner and Norbert Schirmer