CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs

Open Webpage

Cole Kurashige, Ruyi Ji, Aditya Giridharan, Mark Barbone, Daniel Noor, Shachar Itzhaky, Ranjit Jhala, Nadia Polikarpova

Published: 01 Jan 2024, Last Modified: 16 May 2025Proc. ACM Program. Lang. 2024EveryoneRevisionsBibTeXCC BY-SA 4.0