Please see Write-up.pdf Contains proofs and theorems used to prove Kirchhoff's Theorem Matrix Tree Theorem. See pages 10-15 for application and runtime analysis of Kirchhoff's Theorem using Sage. Laplacian.sagews Contains the code used in Write_up.pdf