Preset Settings
Choose settings by system
Hide Advanced Settings
Syntax
Rules
Select which rules are allowed
Hover over rules to see their description
Enabled Rules
Disabled Rules
Miscellaneous Settings
Rule/Line Citation Order:
Rule then line
Line then rule
Either order
Order of Line Citation Matters:
Line Check Mode:
ForAllX discharging and subproof citation: