This is an unofficial reimagining of the Archive of Formal Proofs
Hood-Melville Queueby Alejandro Gómez-Londoño