proofstack app (preview): coming soon