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.