Defthms about zip and tie: Reasoning about powerlists in ACL2 (1997)

by Ruben A. Gamboa
Venue:Univ. of Texas Comp. Sci. Tech. Rep
Citations:8 - 3 self