DEMOSTRACIÓN DE TEOREMAS MEDIANTE LENGUAJES FUNCIONALES
Date:
2023-12-18
Abstract
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.
Description
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
Collections
- Trabajos Fin de Grado [3638]
Los ítems de digital-BURJC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario