namin / dotLinks

formalization of the Dependent Object Types (DOT) calculus
160Updated 8 years ago

Alternatives and similar repositories for dot

Users that are interested in dot are comparing it to the libraries listed below

Sorting: