CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs. - Cole Kurashige; Ruyi Ji; Aditya Giridharan; Mark Barbone; Daniel Noor; Shachar Itzhaky; Ranjit Jhala; Nadia Polikarpova (Proc. ACM Program. Lang., 2024)