3 ms·How is that related to easily proving theorems about the code?by jonnybgood 10y agoHow is that related to easily proving theorems about the code?eru 10y agoIt's easier to prove stuff about simpler code.