Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System.

Jnathan Heras, Vico Pascual, Julio Rubio

Browse the full LOPSTR paper archive.