Built-in Rules
The Prover has some built-in general-purpose rules that can be verified on a contract out-of-the-box.
Todo
This feature is currently undocumented.
The Prover has some built-in general-purpose rules that can be verified on a contract out-of-the-box.
Todo
This feature is currently undocumented.