Imandra

Exquisito ejercicio de motion para explicar cosas que son dificiles de explicar. Es muy interesante ver todo el trabajo que hay detrás del proyecto y como todo el lenguaje desarrollado tiene una explicación sólida y bien fundamentada.