Sí, las librerías de Arduino mencionadas en este artículo son compatibles con varias versiones de Proteus, incluyendo la versión 7 y la versión 8.13.