Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials | Publicación