Tibo@thsottiaux

수천만 줄의 코드에 대한 형식적 증명은 이제 터무니없는 얘기가 아니고, 새 시스템을 설계할 때 고려해야 할 범위 안에 있어.

Formal proofs of tens of millions of lines of code are not a ridiculous thing anymore and within the realm of what should be considered when designing new systems.