proof-settings.props 2.38 KB