Make compact proof contracts declaration-only - #90

Make compact proof contracts declaration-only#90

iperev merged 1 commit into

mainresearch-engineering/agentic-proofkit:mainfrom

feature/declaration-only-compact-contractresearch-engineering/agentic-proofkit:feature/declaration-only-compact-contractCopy head branch name to clipboard