Formal Methods for the Working DeFi Dev by Rikard Hjort | Devcon Bogota (1:03:31)