GitHub repository: pirapira/ethereum-formal-verification-overview
Description: The start page about my efforts around smart contract verification