GitHub repository: samuelgruetter/dot-calculus
Primary language: Coq
Description: Formalization of the Dependent Object Types (DOT) calculus