Packages tagged unification

4 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (4), logic (3), algorithms (2), bsd3 (2), compilers-interpreters (2), language (2), mit (2), algebra (1), program (1)