vitalik.eth
@VitalikButerin
RT
@tcoratger: 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. 👇
@tcoratger: 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. 👇
@tcoratger
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. 👇