Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials.

Laureano Lambn, Francisco-Jess Martn-Mateos, Julio Rubio, Jos-Luis Ruiz-Reina

Browse the full ITP paper archive.