¿Qué es Leaflet?

¿Qué es Leaflet? Se trata de una librería de código abierto para crear aplicaciones web de cartografía. Te cuento cómo funciona.