plt-redex topic

List plt-redex repositories

dot

153
Stars
12
Forks
Watchers

formalization of the Dependent Object Types (DOT) calculus

verified publisher icon namin