refactor: proof integration cleanup#1429

ctrlc03 merged 1 commit into

maintheinterfold/interfold:mainfrom

refactor/proofs-integration-cleanuptheinterfold/interfold:refactor/proofs-integration-cleanupCopy head branch name to clipboard