GitHub repository: phomola/coin-lean
Created: 2023-04-11T01:39:08Z
Description: A smart contract example in Lean