Charla 137: Breve presentación del lenguaje LEAN
Date
2023-11-08
Conferencista: Julio A. Montero Docente Escuela de Matemáticas y Estadística, UPTC.
Fecha: Miércoles 8 de noviembre de 2023, 2:00 p.m.
Lugar: C-119
Resumen: Lean es un ejemplo de los sistemas computacionales conocidos como probadores interactivos de teoremas (o sistemas de formalización) que permite expresar y validar computacionalmente argumentos matemáticos.
