Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System | Publicación