Confidence interval for the difference of population means: Use of the stan

7.1 Confidence Interval for the Mean: Standard Normal