mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-16 03:24:07 +00:00
Code Issues Releases Activity
138,920 Commits 45 Branches 100 Tags 3.4 GiB
5df5f1b3ff
Commit Graph

1 Commits

Author SHA1 Message Date
Edwin Groothuis
70b1179c61 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>
 2005-11-26 12:49:47 +00:00