Proof-Pattern Recognition and Lemma Discovery in ACL2.

Jnathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean

Browse the full LPAR paper archive.