“Yeah. So I'm going to do a lot of methods that map…” — The Pragmatic Engineer at 20:32
“Yeah. So I'm going to do a lot of methods that map transformation. While you can do it by hand with like what's called a theorem prover, often in industry that is being done for the most part with tools that basically automate huge parts of this process.”
0:00
1:23:42