alt-romes / hegg

Fast equality saturation in Haskell
83Updated 3 weeks ago

Alternatives and similar repositories for hegg:

Users that are interested in hegg are comparing it to the libraries listed below