CommandState
Dojo
DojoCrashError
DojoHardTimeoutError
DojoInitError
LeanError
ProofFinished
ProofGivenUp
TacticState
TimeoutError
Declaration
Goal
parse_goals()