Option overview for prove_lemma task