I want to know the answer to the following question:
Who largely formalized the developments that led to the theory of conservation of energy?
All the background I'm provided with is that "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.". Is that enough to answer the question?