Web Directory

    Top: Science: Math: Logic_and_Foundations: Foundations:

 

QED Project

  Link Details for: QED Project
Link Title: QED Project Open in a new window
Link URL: http://www-unix.mcs.anl.gov/qed/
Link Details: Build a single, distributed, computerized repository that rigorously represents all important, established mathematical knowledge
Category: Top : Science : Math : Logic_and_Foundations : Foundations
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
QED Project