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. ๐
๋ ๋ณด๊ธฐ
