[astrophysician]

Just to clarify: prophet implements a particular model with Stan as a backend, not Stan models generally.