[FOM] The QED Manifesto today

[Arnold Neumaier]

The QED project for formalizing all of mathematics,
      http://www-unix.mcs.anl.gov/qed/
is dead for over a decade. But what happened to the spirit of
the project? Who works today towards the goals expressed in the
QED manifesto,
      http://www.rbjones.com/rbjpub/logic/qedres00.htm
and how?


I'd like to ask for your personal opinion on which form such a
project could/should take when started now.


I'd also appreciate to get pointers (web sites, pdf, ps) to

   - people currently active in this direction,

   - past and current projects towards realizing partial goals,

   - important papers covering the current state of affairs.


Arnold Neumaier
http://www.mat.univie.ac.at/~neum/