The official launch of the First Global EOS-Based Formal Verification Project! — Steemit