heya/unify

heya/unify

GitHubGitHub
GitHubgithub.com
Releases14
Frequency3 months 3 weeks
Last Release
Stars12
Unify: a unification tool that includes a deep equivalence and partitioning of objects.
Log in to subscribe

Linked projects

heya-unify
Unify: a unification tool with a deep equivalence and partitioning of objects.