Verificación formal del cálculo λSF en Coq - Torres Ruiz, Mateo Alberto (2019)