Packages tcra.exercises tcra.exercises.general_assertions tcra.exercises.queue_reasoning_private tcra.exercises.stack_reasoning_private tcra.gui tcra.math tcra.programmatic