ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System | Publicación