Hierarchy

Properties

comment?: string
goalCode?: string
proofTypes: ProofTypes[]
willConfirm?: boolean