fricoben (@Fricoben) “@VitalikButerin @_Enoch @l2beat Make nutrition labels for proving systems” — TopicDigg
fricoben
@Fricoben
I let AI do formal verification at
加入 April 2020
840 正在关注 5.1K 粉丝
热门用户
