Sign up for Zulip
egraphs
https://egraphs.zulipchat.com
The chat for the EGRAPHS Community that brings together researchers and practitioners that use e-graphs and related techniques.
You need an invitation to join this organization.
OR
Already have an account? Log in