Best large scale wifi solution?

I need to provide wifi to a large area that can support around 10k users. We've mostly used unifi in the past but I'd like to find other options for this. Aruba seems promising but I wanted to see what others thought.