Making induction manifest in modular ACL2

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