This Reference Manual contains detailed and comprehensive information about the Certora Prover. The Reference Manual is intended to describe what the Prover does, in contrast to the Certora User’s Guide which explains how to use the Prover to accomplish particular goals.


This documentation is currently undergoing significant reorganization and editing. Some of the pages are missing; where possible we have included pointers to the Old Documentation on given topics.