Mint and Proof Sets