Cardano Developers cyph3rPunk • 1y ago • 90%

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