It allows user to define a logic, decide how to view proofs, and much more.
This functionality enables users to establish a logical system, determine how proofs are viewed, and access various other options.