Before revision:  Stan is an expressive probabilistic programing language that abstracts the inference and allows users to focus on the modeling.
After revision:  Stan is an expressive probabilistic programming language that abstracts the inference and allows users to focus on the modeling.