C.C. Lemma: induction and lemma discovery in e-graphs
2025-02-20
Cole will present his ICFP 2024 work, C.C. Lemma: induction and lemma discovery in e-graphs.
Abstract
TBD
Speaker
Cole Kurashige
Cole will present his ICFP 2024 work, C.C. Lemma: induction and lemma discovery in e-graphs.
TBD
Cole Kurashige