about dmoz

help
Top
:
Science
:
Math
:
Logic and Foundations
:
Computational Logic
:
Logical Frameworks
A proofassistant is a computer program with which a user can construct completely formal mathematical proofs in some kind of logical system. In contrast to a theorem prover, a proofassistant cannot find proofs on its own
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 © 19982015 AOL Inc.
Terms of Use
Last update: Tuesday, January 2, 2007 5:54:52 PM EST 
edit