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. 👇
もっと見る
