Mechanization of Hazelnut with product, sum, and recursive types. - View it on GitHub