GitHub repository: xrchz/verifereum
Primary language: Standard ML
Description: Prove functional correctness of Ethereum smart contracts in higher-order logic