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