ulkb.TheorySettings.record\_proofs
==================================

.. currentmodule:: ulkb

.. autoattribute:: TheorySettings.record_proofs