Skip to content

Enable extended thinking for parent proof assembly in RecursiveProver - #130

Draft
crqu wants to merge 1 commit into
masterfrom
factory/run-075a38a1
Draft

Enable extended thinking for parent proof assembly in RecursiveProver#130
crqu wants to merge 1 commit into
masterfrom
factory/run-075a38a1

Enable extended thinking for parent proof assembly in RecursiveProver

8d7713b
Select commit
Loading
Failed to load commit list.

There are no checks for this commit