GitHub repository: matheus-junio-da-silva/mythril-formal-analysis-study
Primary language: HTML
Description: Study of the workings of Mythril, a security analysis tool for smart contracts, focusing on the use of formal verification to detect vulnerabilities.