joeshipman at aol.com
Thu Feb 8 15:05:20 EST 2007
This sounds like an important advance.
Are you planning to jump-start the system by importing the contents of
pre-existing formally-verified bodies of mathematics as such as the
Will the system make it easy to keep track of which statements have
been formally verified as following from particular well-known axiom
systems such as PA and ZFC?
From: grue at diku.dk
To: fom at cs.nyu.edu
Sent: Thu, 8 Feb 2007 5:52 AM
Subject: [FOM] Logiweb
I am happy to announce the release of the "Logiweb" system.
Check out the new AOL. Most comprehensive set of free safety and
security tools, free access to millions of high-quality videos from
across the web, free AOL Mail and more.
More information about the FOM