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.
显示更多
