Hola que bueno que alguien mas publica aquí jeje, aunque temo decirte que al igual que tu busque mucho tiempo la libreria y no la encontre.
Desconozco si ya existe porque incluso llegue a instalar el proteus v8 pensando que pudiera estar pero nada.
No se que hardware tengas o estés usando pero te recomiendo mucho para iniciar la launchpad es genial para aprender (ademas de economica), y te regalan ese microcontrolador y uno mas.
Tambien aprendi mucho en la pagina del compañero Henry, microembebidos, te la recomiendo.ç
saludos.
