Copilot Proof Example: What It Can and Cannot Prove | Collab365 Spaces