AxLang Case Study: A Formally Verifiable Derivatives Contract Library

Today, we are excited to share a specific use case for AxLang: a standardized financial products modeling library for use by the derivatives industry.