Reverse Dependencies of dependent-types

There are no known projects with a declared dependency on dependent-types.