Thomas Coratger
@tcoratger
Research at Ethereum Foundation
加入 August 2014
2.2K 正在關注 3.8K 粉絲
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. 👇
顯示更多
