Certora Verification Reports

Todo

This documentation is incomplete. See Understanding the results of the Certora Prover in the User’s Guide.