proof-settings.props 2.43 KB