Use VARIABLE as a known variable in evaluation mode. Prepend an ’*’ to specifiy that the variable is arbitrary.
Start Aris in boolean mode.
Use CONCLUSION as a conclusion in evaluation mode. This flag can only be specified once.
Run Aris in evaluation mode. This means that no GUI will be loaded.
Evaluate FILE if running Aris in evaluation mode, otherwise load FILE in Aris. This flag can be specified multiple times.
Grades a file specified by the file flag. This flag is ignored if used more than once.
List the rules available in Aris, and exit.
Use PREMISE as a premise in evalution mode. This flag can be specified multiple times.
Use RULE as a rule in evaluation mode. This flag can only be specified once.
Simply check the correctness of TEXT in evaluation mode.
Run Aris verbosely, printing status and error messages.
Convert FILE to a LaTeX proof file in evaluation mode.
Print the version of Aris and exit.
Print a help message and exit.