heya/unify

Releases14

Frequency3 months 3 weeks

Last Release about 8 years ago

Stars12

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

Collections containing this project

Showing collections based on your access.

This project is not in any collections you can view.