Settings
Preset Settings
The selected settings may be incompatible
Syntax
Advanced Proof Syntax Overrides
Optional advanced syntax overrides. The defaults below already match the normal/previous behavior, so most users do not need to change these.
Defaults: premise citation pr, assumptions as,ass,assume,A,H, constants a-m, variables n-z (with v reserved for disjunction).
Rules
Select which rules are allowed
Hover over rules to see their description