Port details on branch 2022Q3 |
- twelf Meta-logical framework for deductive systems
- 1.7.1_4 lang =0 1.7.1_4Version of this port present on the latest quarterly branch.
- BROKEN: invalid target: self
IGNORE: is marked as broken: invalid target: self
- Maintainer: beyert@cs.ucr.edu
- Port Added: 2005-11-26 13:27:41
- Last Update: 2023-08-18 07:53:32
- Commit Hash: 01a678c
- Also Listed In: math
- License: BSD2CLAUSE
- WWW:
- http://www.cs.cmu.edu/~twelf
- Description:
- 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
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/lang/twelf/ && make install clean
- We doubt a package is available for this port because we see it marked as as:
-
Packages are normally not provided for ports that are marked as above.
- To add the package, run one of these commands:
- pkg install lang/twelf
- pkg install twelf
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: twelf
- Flavors: there is no flavor information for this port.
- distinfo:
- SHA256 (twelf-src-1.7.1.tar.gz) = 91b0d4d8c2e54452a042da0ff642f3b46b25efb36a84497aa8b96598f49a213a
SIZE (twelf-src-1.7.1.tar.gz) = 1147610
No package information for this port in our database- Sometimes this happens. Not all ports have packages.
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- mlton : lang/mlton
- texi2html : textproc/texi2html
- gmake>=4.3 : devel/gmake
- makeinfo : print/texinfo
- tex.fmt : print/tex-formats
- dvips : print/tex-dvipsk
- Runtime dependencies:
-
- mlton : lang/mlton
- indexinfo : print/indexinfo
- There are no ports dependent upon this port
Configuration Options:
- ===> The following configuration options are available for twelf-1.7.1_4:
DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings
- Options name:
- lang_twelf
- USES:
- gmake makeinfo tex
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|