Proof-term reconstruction from TSTP to Agda

Archivos

tstp2agda.pdf (769.14 KB)

Fecha

2015-12-19

Autores

Gómez-Londoño, Alejandro

Título de la revista

ISSN de la revista

Título del volumen

Editor

Universidad EAFIT

Resumen

Descripción

Palabras clave

first-order logic , proof-term reconstruction , proof assistants

Citación

URI

http://hdl.handle.net/10784/7944

Colecciones

Documentos de trabajo (working papers)