Logic and Foundations
LF Logical Framework
The Edinburgh Logical Framework is, with De Bruijn's AUTOMATH, one of the two most influential implemented proof representation systems in existence.
Copyright © 1998-2014 AOL Inc.
Last update: Tuesday, January 2, 2007 5:54:52 PM EST -