RT: Check out this awesome submission for #ETHDenver. Dan and Hamir made a formally verified version of the @SushiSwap MasterChef contract and launched on @Algorand in just 3 days.
https://youtu.be/PQw8GixxMlM
#algofam let the world know how easy it is to build with @reachlang
RT：看看这篇关于#ETHDenver的精彩文章。Dan和Hamir制作了一份经过正式验证的@SushiSwap MasterChef合同，并在短短3天内在@Algorand上发布。
https://youtu.be/PQw8GixxMlM
#algofam让世界知道使用@reachlang进行构建是多么容易