ACL2 Sidekick: a graphical aid for the ACL2 theorem provergithub.com/jaredcdavis3 pointsluu12 years ago