pnorm is not defined in the Stan language. If you look at
rstan::lookup(pnorm)
it will tell you several Stan functions that correspond to the pnorm function in R, and the one you want is Phi.
1 Like