Questions tagged [unification]
Unification is a technique used in the implementation of proof assistants for purposes including solving of metavariables and resolution of type classes.
Unification is a technique used in the implementation of proof assistants for purposes including solving of metavariables and resolution of type classes.