This is an unofficial reimagining of the Archive of Formal Proofs
The LambdaMu-calculusby Cristina Matache, Victor B. F. Gomes and Dominic P. Mulligan