This package needs a new maintainer! If you are interested in helping with the maintenance of twelf, please get in touch with our Proxy Maintainers team.
Package Metadata
Full description
Twelf is an implementation of the logical framework LF. It is used for
logic programming and for the formalization of programming language
theory.