DEMOSTRACIÓN DE TEOREMAS MEDIANTE LENGUAJES FUNCIONALES
Fecha
2023-12-18
Autores
Título de la revista
ISSN de la revista
Título del volumen
Editor
Universidad Rey Juan Carlos
Resumen
En este trabajo se explica el funcionamiento de Lean, un asistente de verificación formal de teoremas matemáticas, para ello se ven demostraciones en distintos ámbitos de las matemáticas. También se ve funcionalidad de este lenguaje y se explican conceptos de los asistentes de demostración.
Descripción
Trabajo Fin de Grado leído en la Universidad Rey Juan Carlos en el curso académico 2023/2024. Directores/as: Juan Manuel Serrano Hidalgo