Comment by ghboo0927

The cost highlighted in the article is not the compilation time, but the process of integrating the proof tool itself.