3 ms·AxLang Case Study: A Formally Verifiable Derivatives Contract Library (VIDEO)1 points by TwoFactor 8y ago