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.
더 보기
