GitHub repository: KonnerEL/Smarty
Primary language: Java
Created: 2019-04-10T05:59:15Z
Description: A Smart Contract Language based on design by contract and Event-B