This is an unofficial reimagining of the Archive of Formal Proofs
Binomial Heaps and Skew Binomial Heapsby Rene Meis, Finn Nielsen and Peter Lammich