Formalization of the Dependent Object Types (DOT) calculus - View it on GitHub