diff options
| author | edwin <edwin@FreeBSD.org> | 2005-11-26 12:49:47 +0000 |
|---|---|---|
| committer | edwin <edwin@FreeBSD.org> | 2005-11-26 12:49:47 +0000 |
| commit | e694ffd61ab89e0fbc1364c4e220d310fdbf138c (patch) | |
| tree | 7ef71dd7a9096fa08e3389761d2f6b82ba3b4917 /russian/xruskb | |
| parent | c90aea498c9dd1dc0c6ba4c32064ca9402f0d924 (diff) | |
| download | FreeBSD-ports-e694ffd61ab89e0fbc1364c4e220d310fdbf138c.zip FreeBSD-ports-e694ffd61ab89e0fbc1364c4e220d310fdbf138c.tar.gz | |
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>
Diffstat (limited to 'russian/xruskb')
0 files changed, 0 insertions, 0 deletions
