This is an unofficial reimagining of the Archive of Formal Proofs
Verified Construction of Static Single Assignment Formby Sebastian Ullrich and Denis Lohner