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)
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)