# Writing Mathematical Rules

Writing mathematical rules for the prover allows to significantly improve the proof performances but it requires to fully understand the related technical details and constraints. The following chapters address most of these topics.

