twelf-1.7.1_4.txz


Advertisement

Description

twelf - Meta-logical framework for deductive systems

Property Value
Distribution FreeBSD 11
Repository FreeBSD Ports Quarterly i386
Package filename twelf-1.7.1_4.txz
Package name twelf
Package version 1.7.1
Package release 4
Package architecture i386
Package type txz
Category lang math
Homepage http://www.cs.cmu.edu/~twelf
License BSD2CLAUSE
Maintainer beyert@cs.ucr.edu
Download size 1.91 MB
Installed size 8.78 MB
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
Options:
- DOCS: on

Alternatives

Package Version Architecture Repository
twelf-1.7.1_4.txz 1.7.1 amd64 FreeBSD Ports Latest
twelf-1.7.1_4.txz 1.7.1 i386 FreeBSD Ports Latest
twelf-1.7.1_4.txz 1.7.1 amd64 FreeBSD Ports Quarterly
twelf - - -

Requires

Name Value
indexinfo = 0.3.1
libgmp.so.10 -
mlton = 20100608_8

Download

Type URL
Mirror pkg.freebsd.org
Binary Package twelf-1.7.1_4.txz
Source Package lang/twelf

Install Howto

Install twelf txz package:

# pkg install twelf

See Also

Package Description
twemoji-color-font-ttf-12.0.1.txz Color emoji font using Twitter Unicode 10
twemproxy-0.4.1.txz Fast, light-weight proxy for memcached and redis
twiki-6.1.0,2.txz Flexible, powerful, and easy to use enterprise wiki
twiki-BehaviourContrib-0.0.16417.txz JavaScript event library
twiki-BlogAddOn-0.0.16623.txz Simple blogging application
twiki-BugzillaLinkPlugin-0.0.15560.txz Link to Bugzilla bugs using shorthand references
twiki-ClassicSkin-0.0.17365.txz The Classic TWiki skin
twiki-CommentPlugin-0.0.17567.txz Post comments easily
twiki-EditTablePlugin-0.0.17542.txz Edit tables in-place
twiki-EmptyPlugin-0.0.16417.txz Empty plugin template
twiki-GluePlugin-0.0.15708.txz Allow to format tags and arguments on multiple lines
twiki-InterwikiPlugin-0.0.17303.txz Wikilink to external sites
twiki-JSCalendarContrib-0.0.17493.txz Mishoo JSCalendar repackaged
twiki-LDAPPasswordChangerPlugin-0.0.18108.txz Change TWiki password at a pre-configured LDAP server
twiki-LdapContrib-0.0.16840_1.txz LDAP services for TWiki
Advertisement
Advertisement