ulkb.TheorySettings.record_proofs#

TheorySettings.record_proofs = True#

Whether to record proofs.