You are viewing a single comment's thread from:RE: Sit-Down Q&A with Daniel Larimer - Full VideoView the full contextbluejays (40)in #eos • 7 years ago Formally verified smart contracts written in C++, with the ability to adapt, wow!