AxLang Case Study: A Formally Verifiable Derivatives Contract Library

Posted on Apr 23, 2018

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