Releases21
Frequency3 months 3 days
Last Release
Unify: a unification tool with a deep equivalence and partitioning of objects.

Linked projects

Unify: a unification tool that includes a deep equivalence and partitioning of objects.