You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
_**Deprecated**: This IDE extension is not maintained anymore. Please checkout the Certora [Documentation](https://docs.certora.com/en/latest/docs/user-guide/install.html) for up to date information on how to use Certora._
_**Deprecated**: This IDE extension is not maintained anymore. Please checkout the Certora [Installation Guide](https://docs.certora.com/en/latest/docs/user-guide/install.html) for up to date information on how to use Certora._
The Certora Prover checks at compile-time that all smart contract executions fulfill a set of security rules and interface requirements of other contracts. Certora’s blockchain-independent and language-agnostic Prover technology precisely identifies bugs in smart contracts or proves their absence.
