# A formal correctness proof of Boruvka's minimum spanning tree algorithm.

> 2020 master's thesis by Nicolas Robinson-O'Brien at University of Canterbury

**Wikidata**: [Q112953623](https://www.wikidata.org/wiki/Q112953623)  
**Source**: https://4ort.xyz/entity/a-formal-correctness-proof-of-boruvka-s-minimum-spanning-tree-algorithm-