Enable extended thinking for parent proof assembly in RecursiveProver - #130
Draft
crqu wants to merge 1 commit into
Draft
Enable extended thinking for parent proof assembly in RecursiveProver#130crqu wants to merge 1 commit into
crqu wants to merge 1 commit into
