Who largely formalized the developments that led to the theory of conservation of energy?
According to Noether's theorem, the conservation of energy is a consequence of the fact that the laws of physics do not change over time.