Proof-term reconstruction from TSTP to Agda
Archivos
Fecha
2015-12-19
Autores
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