Thomas Coratger
@tcoratger
Research at Ethereum Foundation
参加 August 2014
2.3K フォロー中 3.9K ファン
Performant formally verified software by @leonardoalt
One of the most interesting consequences of formal verification: you can optimize much more aggressively when every rewrite has to preserve a proof.
もっと見る
