People who argue for formal methods are well aware that theorems change over time [1], the point is that with formal methods the theorems become simpler and in

People who argue for formal methods are well aware that theorems change over time [1], the point is that with formal methods the theorems become simpler and in turn result in simpler proofs. With ad hocery or communal wisdom, unless you are a genius artist, the theorem only becomes more complex. [1] You can see Lakatos in Dijstrak's library for example https://dijkstrascry.com/inventory#box4 https://dijkstrascry.com/inventory#box4