Cardano Developers cyph3rPunk • 1 year ago • 90%

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