Square Roots in ACL2: A Study in Sonata Form (1996)

by Ruben Gamboa
Citations:3 - 2 self