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.

Quotes

plumx
0 citations in WOS
0 citations in

Journal Title

Journal ISSN

Volume Title

Publisher

Universidad Rey Juan Carlos

URL external

URI

https://hdl.handle.net/10115/27470

DOI

Date

2023-12-18

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

Keywords

Demostración , Lean , Asistente de verificación , Formalización , Programación funcional , Tipos dependientes , Lenguaje de demostración

Citation

Collections

Trabajos Fin de Grado

Endorsement

Review

Supplemented By

Referenced By

Statistics

Views
228
Downloads
0

Bibliographic managers