GitHub repository: mojtaba-eshghie/CodingPractices
Created: 2022-09-22T08:55:16Z
Description: Writing smart contract code that is friendly to the scientists working on formally verifying their properties.