[FOM] Logiweb

[joeshipman@aol.com]

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 
Mizar project?

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?

-- JS


-----Original Message-----
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.