/awesome-egraphs

An awesome list of e-graph resources

MIT LicenseMIT

Watchers