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.