Making induction manifest in modular ACL2

Article CLOSED
Carl Eastlund; Matthias Felleisen;
(2009)
Share - Bookmark