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