All,
We need a oneliner for Stan for inclusion in NumFocus materials. NumFocus is the nonprofit that supports Stan. We could use a simple description else where too.
Deadline for resolution is Monday, July 3 but I suggest consensus by the previous Thursday, June 29 11 am EDT.
Some possibilities:

Stan provides portable tools for applied Bayesian statistical modeling, inference, and visualization.

Stan provides portable tools for applied Bayesian statistical modeling, inference, and visualization. Stan features a modeling language, math library, inference algorithms, evaluation, visualization, and interfaces in a variety of languages.