Use scan to always keep the previous proof for recursive proving#28

freesig merged 1 commit into

mainessential-contributions/void-examples:mainfrom

freesig/scan-recursiveessential-contributions/void-examples:freesig/scan-recursiveCopy head branch name to clipboard