ForMatUS: Introducción de la conjunción en Lean
En el vídeo se comentan distintas demostraciones sobre la introducción de la conjunción en Lean: con tácticas, con términos de prueba, estructuradas y automática.
Los enlaces correspondientes son: a la sesión en Lean Web, al código y al libro “DAO con Lean”.
A continuación, se muestra el vídeo