GitHub repository: mmsaki/certora-language-2
Primary language: Solidity
Description: Certora tutorials