Thomas Coratger
@tcoratger
Research at Ethereum Foundation
Joined August 2014
2.3K Following 3.9K Followers
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.
Show more
