Serán 4 sesiones, todos los miércoles de junio de 11am a 2pm en el salón de seminarios 105 del Depto. de Matemáticas, Facultad de Ciencias, UNAM.

Habrá una sesión especial para entender Git como sistema de manejo de versiones el jueves 1o Agosto.  https://lambda-style.github.io/taller-verano-2024/

El plan es revisar cuestiones básicas de asistentes de pruebas, instalación y uso del asistente, ejercicios para familiarizarse con el mecanismo de demostración y realizar alguna formalización interesante.

Las sesiones serán híbridas mediante Gmeet (zaf-xxvo-enr).  

• Introducción a la programación funcional con LEAN  https://lean-lang.org/functional_programming_in_lean/

• Tutorial para formalización en LEAN   https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

• Theorem Proving in LEAN https://lean-lang.org/theorem_proving_in_lean4

• Inferencia de Tipos en HASKELL https://www.futurelearn.com/info/courses/functional-programming-haskell/0/steps/27233

Herramientas de Git

• Repositorio de Juan Pablo Yamamoto Zazueta para el taller https://github.com/lambda-style/taller-verano-2024

• https://skills.github.com/

• Libro oficial de Git:   https://git-scm.com/book/en/v2

• Explicación intereactiva  https://ndpsoftware.com/git-cheatsheet.html#loc=stash; 

• Otra explicación interactiva en un video https://www.youtube.com/watch?v=e9lnsKot_SQ

• Explicación sobre ramificación en Git https://learngitbranching.js.org/