Der Opera Mini ist ein Plattformübergreifender Browser für verschiedene mobile Geräte. Neu wurde Opera auch auf Android portiert.
Momentan lässt sich Opera mobile aber nicht als Standardbrowser einrichten.
Man hat beim Opera Mini den Vorteil, dass alles über einen Proxyserver läuft, der HTML optimiert, Grafiken verkleinert und damit Datentraffic minimiert sowie Seiten schneller macht.

Hier noch ein Video von Opera mobile:


Zum Hersteller. (Englisch)