CLASSES=none rename
PSTAMP=q20151126213330
LICFILE=bsd2.txt
LICURL=https://svn.concert.cs.cmu.edu/twelf/trunk/LICENSE
LICINFO=BSD 2-Clause
DESC=Twelf is an implementation of a) the LF logical framework, including type reconstruction; b) the Elf constraint logic programming language; c) a meta-theorem prover for LF (very preliminary); d) a set of expansion modules to deal natively with numbers and strings as well as e) an Emacs interface. It is used to specify, implement, and prove properties of deductive systems such as programming languages and logics.
BASEDIR=/usr
VENDOR=LINOFEE, http://www.linofee.org
EMAIL=developers@linofee.org
CATEGORY=develop,application
NAME=Logical framework and programming language Twelf
SERIALNUM=001
VERSION=1.7.1
ARCH=i386
PKG=LNFtwelf