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