e/Twelf

Information
has gloss	eng: Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory.
lexicalization	eng: Twelf
instance of	c/Dependently-typed formal languages