proofstack app: coming soon