[draft] Second draft

* Add code of Prim's algorithm
* Fix typos
* Add citations
* Use consistent symbols in proofs