twelf 1.5R1_3 lang =0

RESTRICTED: License is currently indeterminate (expected to be GPL)
A meta-logical framework for deductive systems
Maintained by: andrewb@cs.cmu.edu
Port Added: 26 Nov 2005 13:27:41

---

---

The Twelf implementation comprises

 * the LF logical framework, including type reconstruction;
 * the Elf constraint logic programming language;
 * an inductive meta-theorem prover for LF;
 * and an Emacs interface.

Twelf provides a uniform meta-language for specifying,
implementing, and proving properties of programming languages
and logics.  Example suites include Cartesian Closed Categories
and lambda-calculus, the Church-Rosser theorem for the untyped
lambda-calculus, Mini-ML including type preservation and
compilation, cut elimination, theory of logic programming,
and Hilbert's deduction theorem.

-- the Twelf home page

WWW: http://www.cs.cmu.edu/~twelf
Maintainer: Andrew Bernard (andrewb@cs.cmu.edu)

CVSWeb : Sources : Main Web Site : Distfiles Availability : PortsMon

---

Required To Build: lang/sml-nj, print/teTeX
Required To Run: lang/sml-nj

---

To install the port: cd /usr/ports/lang/twelf/ && make install clean

A package is not available for ports marked as: Forbidden / Broken / Ignore / Restricted

---

Configuration Options

     No options to configure

---

Master Sites:

http://www-2.cs.cmu.edu/~twelf/dist/

http://www.cs.cmu.edu/~twelf/dist/

ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/

- update to 1.4.1
Reviewed by:    exp8 run on pointyhat
Supported by:   miwi

- update to jpeg-8

- bump all port that indirectly depends on libjpeg and have not yet been bumped
or updated
Requested by:   edwin

- Update to 1.5R1

PR:             ports/131631
Submitted by:   Andrew Bernard <andrewb@cs.cmu.edu> (maintainer)

Remove USE_REINPLACE from the categories starting with L

New port: lang/twelf A meta-logical framework for deductive systems

        The Twelf implementation comprises
         * the LF logical framework, including type reconstruction;
         * the Elf constraint logic programming language;
         * an inductive meta-theorem prover for LF;
         * and an Emacs interface.

PR:             ports/84625
Submitted by:   "Andrew Bernard" <andrew@hobnob.com>

8 vulnerabilities affecting 11 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities