GitHub repository: rodrigogribeiro/unification
Primary language: Coq
Created: 2015-04-26T14:26:00Z
Description: Formalisation of a type unification algorithm in Coq proof assistant.