Proof state — AI Dictionary

The set of goals still open in an in-progress proof; the search ends when it's empty.