from Hacker News

AxLang Case Study: A Formally Verifiable Derivatives Contract Library (VIDEO)

by TwoFactor on 4/25/18, 2:09 PM with 0 comments