ulkb documentation
Site Navigation
Section Navigation
Whether to record proofs.
TheorySettings.record_proofs