In Partnership with AOL Search
 
The Edinburgh Logical Framework is, with De Bruijn's AUTOMATH, one of the two most influential implemented proof representation systems in existence.
Copyright © 1998-2015 AOL Inc. Terms of Use
Last update: Friday, May 29, 2015 7:24:04 AM EDT - edit