| | AxLang Case Study: A Formally Verifiable Derivatives Contract Library (VIDEO) (medium.com/axoni) |
| 1 point by TwoFactor on April 25, 2018 | past |
|
| | AxLang: Formally Verifiable Smart Contracts for the Ethereum Ecosystem (medium.com/axoni) |
| 2 points by LopRabbit on March 9, 2018 | past | 1 comment |
|
| | AxLang: Formally Verifiable Smart Contracts for the Ethereum Ecosystem (medium.com/axoni) |
| 14 points by CrunchyJams on March 5, 2018 | past | 1 comment |
|
