Hacker News new | ask | show | jobs
AxLang Case Study: A Formally Verifiable Derivatives Contract Library (VIDEO) (medium.com)
1 points by TwoFactor 2977 days ago