Thomas Coratger
@tcoratger
Research at Ethereum Foundation
Joined August 2014
2.2K Following 3.8K Followers
We’re currently putting a significant effort into improving leanSpec.
The goals are simple:
• Simplicity
• Clarity
• Correctness
We are leanifying LeanSpec.
If you have ideas around design, structure, or devex, now is a great time to reach out and help shape the project. 👇
Show more
