Which one of the following is an educational town?

NCERT (2026-27): “Educational towns Starting as centres of education, some of the towns have grown into major campus towns, such as Roorki, Varanasi, Aligarh, Pilani, Prayagraj, etc.”