This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Max Willsey
mwillsey.com
did:plc:mcwtkdaskc5mnskloeaotxgy
The EGRAPHS seminar series resumes Thursday 9am PT on Zoom! See you all there.
Cole Kurashige will be presenting on C.C. Lemma, a prover featuring induction and lemma discovery in e-graphs.
https://egraphs.org/meeting/2025-02-20-cc-lemma
2025-02-18T17:17:43.162Z