LambdaAritmetica-CRA Aritmética natural, entera, modular y de matrices en scheme para la asignatura Conocimiento y Razonamiento Automatizado en la UAH.