![sxysun on Twitter: "👉Slides to my EthCC talk: https://t.co/K7nBbhAGpd TLDR of the talk: presented evidence that formal methods be used in #DeFi, SMT/Coq route can verify the correctness of individual legos, and sxysun on Twitter: "👉Slides to my EthCC talk: https://t.co/K7nBbhAGpd TLDR of the talk: presented evidence that formal methods be used in #DeFi, SMT/Coq route can verify the correctness of individual legos, and](https://pbs.twimg.com/media/E7E_QIOWEAc2vn4.png)
sxysun on Twitter: "👉Slides to my EthCC talk: https://t.co/K7nBbhAGpd TLDR of the talk: presented evidence that formal methods be used in #DeFi, SMT/Coq route can verify the correctness of individual legos, and
![Whey Protein: What you need to know about this key supplement | by Jonathan Gayed PT,DPT,OCS | Rise Rehabilitation and Fitness Whey Protein: What you need to know about this key supplement | by Jonathan Gayed PT,DPT,OCS | Rise Rehabilitation and Fitness](https://miro.medium.com/max/1280/1*QvhF8lbg1R_UCAYz6isOqA.jpeg)
Whey Protein: What you need to know about this key supplement | by Jonathan Gayed PT,DPT,OCS | Rise Rehabilitation and Fitness
![Amazon.com: Room Copenhagen 40211730 Lego Desk Drawer 8 Knobs Stackable Storage Box, Red, Large : Baby Amazon.com: Room Copenhagen 40211730 Lego Desk Drawer 8 Knobs Stackable Storage Box, Red, Large : Baby](https://m.media-amazon.com/images/I/51TUvYsHaQL._AC_SY355_.jpg)
Amazon.com: Room Copenhagen 40211730 Lego Desk Drawer 8 Knobs Stackable Storage Box, Red, Large : Baby
![How to Buy Individual LEGO Pieces on BrickLink - Frugal Fun For Boys and Girls | Lego pieces, Lego kits, Lego brick How to Buy Individual LEGO Pieces on BrickLink - Frugal Fun For Boys and Girls | Lego pieces, Lego kits, Lego brick](https://i.pinimg.com/originals/cc/59/1c/cc591c47167ba51845f733316dcafa92.jpg)