Verificación formal del cálculo ?SF en Coq

Sinodales:
FAVIO EZEQUIEL MIRANDA PEREA;
Autores:
Torres Ruiz, Mateo Alberto
Tipo de tesis:
Tesis de Licenciatura
Entidad presentadora de examen profesional:
Facultad de Ingeniería
Entidades por adscripción en la UNAM:
Facultad de Ciencias;