Zain's repositories
formal_verification_practice
Practical tutorials of Certora Prover
Language:SolidityGPL-3.0000
learn-cicd
The starter code for the "Learn CICD" course on Boot.dev
Language:Go000
Practical tutorials of Certora Prover
The starter code for the "Learn CICD" course on Boot.dev