Gitstar Ranking

namin / dot

formalization of the Dependent Object Types (DOT) calculus - View it on GitHub
http://lamp.epfl.ch/~amin/dot/
Star
154
Rank
179189