feat(proof_style): documentation of proof style