No. There is an issue with some Stan code for a bivariate normal CDF. We might get one-dimensional numerical integration soon, in which case you might be able to do a trivariate normal CDF. There isn’t a good deterministic algorithm for a general multivariate normal CDF>