twelf topic

List twelf repositories

dot

153
Stars
12
Forks
Watchers

formalization of the Dependent Object Types (DOT) calculus

verified publisher icon namin

helf

26
Stars
3
Forks
Watchers

Haskell implementation of the Edinburgh Logical Framework

verified publisher icon andreasabel