GitHub - namin/dot: formalization of the Dependent Object Types (DOT) calculus

formalization of the Dependent Object Types (DOT) calculus - namin/dot
github.com github.com