namin / dot

formalization of the Dependent Object Types (DOT) calculus

Home Page:http://lamp.epfl.ch/~amin/dot/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

namin/dot Stargazers