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. ð
@vitalikbuterin·2026幎6æ1æ¥
èšäºãèªã