Maybe that&#x27;s where the things in programming are going?<p>I think eventually we (programmers) end up with some hybrid system, where lot of stuff that&#x27;s normally done by hand (refactoring, data transformations, dependency injection, data structure choice, optimization for speed and memory usage, parallelization, deduplication, unit testing) will be done by some theorem prover, working alongside the programmer.