ForMatUS: Presentación de “Lógica con Lean”
He añadido a la lista Lógica con Lean el vídeo Presentación de “Lógica con Lean” en el que se se comenta el proyecto de “Lógica con Lean”. Concretamente sus objetivos, bases y método de desarrollo.
Los enlaces correspondientes son:
A continuación, se muestra el vídeo