Proof-Pattern Recognition and Lemma Discovery in ACL2? J´ onathan Heras1 , Ekaterina Komendantskaya1 , Moa Johansson2 , and Ewen Maclean3 1

First Page		Document Content
Date: 2013-10-09 07:16:34		Proof-Pattern Recognition and Lemma Discovery in ACL2? J´ onathan Heras1 , Ekaterina Komendantskaya1 , Moa Johansson2 , and Ewen Maclean3 1 Add to Reading List Source URL: www.cse.chalmers.se Download Document from Source Website File Size: 663,61 KB Share Document on Facebook