Commands

Commands in CORE run inside of scopes. Commands may change the state of the program by, for example, creating definitions, creating relations, assigning variables, and proving theorems.