rodrigogribeiro/unification

Formalisation of a type unification algorithm in Coq proof assistant.

Coq