Next: Basic Usage, Previous: Terms, Up: Top

## 3 Options

‘`-a VARIABLE`’
‘`--variable=VARIABLE`’
  Use VARIABLE as a known variable in evaluation mode. Prepend an '*' to specifiy that the variable is arbitrary.
‘`-b`’
‘`--boolean`’
  Start Aris in boolean mode.
‘`-c CONCLUSION`’
‘`--conclusion=CONCLUSION`’
  Use CONCLUSION as a conclusion in evaluation mode. This flag can only be specified once.
‘`-e`’
‘`--evaluate`’
  Run Aris in evaluation mode. This means that no GUI will be loaded.
‘`-f FILE`’
‘`--file=FILE`’
  Evaluate FILE if running Aris in evaluation mode, otherwise load FILE in Aris. This flag can be specified multiple times.
‘`-g`’
‘`--grade`’
  Grades a file specified by the file flag. This flag is ignored if used more than once.
‘`-l`’
‘`--list`’
  List the rules available in Aris, and exit.
‘`-p PREMISE`’
‘`--premise=PREMISE`’
  Use PREMISE as a premise in evalution mode. This flag can be specified multiple times.
‘`-r RULE`’
‘`--rule=RULE`’
  Use RULE as a rule in evaluation mode. This flag can only be specified once.
‘`-t TEXT`’
‘`--text=TEXT`’
  Simply check the correctness of TEXT in evaluation mode.
‘`-v`’
‘`--verbose`’
  Run Aris verbosely, printing status and error messages.
‘`-x`’
‘`--latex=FILE`’
  Convert FILE to a LaTeX proof file in evaluation mode.
‘`--version`’
  Print the version of Aris and exit.
‘`-h`’
‘`--help`’
  Print a help message and exit.