Informal Systems 🌱 (@informalinc) 's Twitter Profile
Informal Systems 🌱

@informalinc

Premier Partner in Protocol Design & Cross-Chain Infrastructure | Audits | Validator | Incubating @cyclesmoney | Supporting early-stage projects @informalvc

ID: 1205686192873848832

linkhttps://informal.systems calendar_today14-12-2019 03:09:37

2,2K Tweet

50,50K Takipçi

706 Takip Edilen

Informal Systems 🌱 (@informalinc) 's Twitter Profile Photo
Informal Systems 🌱
@informalinc

3 months ago

That’s that Quint Espresso ☕️🎶 Our team collaborated with Espresso ☕️ to formalize HotShot’s epoch-change protocol in Quint. Read how executable specifications bring precision to consensus design ↴

That’s that Quint Espresso ☕️🎶 Our team collaborated with <a href="/EspressoSys/">Espresso ☕️</a> to formalize HotShot’s epoch-change protocol in Quint. Read how executable specifications bring precision to consensus design ↴