This is an unofficial reimagining of the Archive of Formal Proofs
Pairing Heapby Hauke Brinkop and Tobias Nipkow