• Reconstructing propositional proofs in type theory 

    Prieto Cubides, Jonathan Steven (Universidad EAFIT; Maestría en Matemáticas Aplicadas; Escuela de Ciencias. Departamento de Ciencias Básicas, 2017)
    We describe a syntactical proof-reconstruction approach to verify derivations generated by Metis prover to theorems in classical propositional logic -- To verify such derivations, we formalize in type theory each inference ...