This is an unofficial reimagining of the Archive of Formal Proofs
Relational Minimum Spanning Tree Algorithmsby Walter Guttmann and Nicolas Robinson-O’Brien