Avatar for Aamir from gravatar.com

Aamir

Username    ua1552
Date joined   Joined

1 project

autocertora

Last released

CLI tool that generates and validates Certora formal verification suites for Solidity codebases

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page