Proof Writing

Helper functions to write proofs in a natural language.

write_proof_steps(proof_state, out_file=None)

Output the solution to out_file.

Parameters:

• proof – Proof state.

• problem – Containing the problem definition and theorems.

• out_file (Optional[Path]) – file to write to, empty string to skip writing to file.

Return type:

None