The
QED project was a proposal for a computer-based encyclopedia and database of all
mathematical knowledge, strictly formalized and with all proofs having been checked automatically. The idea for the project arose in 1993 and was outlined in the "QED manifesto". A dedicated mailing list was created, and two scientific conferences about QED took place in 1994 and 1995. The project seems to have died in 1996, never having produced more than discussions and plans.
- QED project main page (http://www-unix.mcs.anl.gov/qed/), includes a link to the manifesto, conference reports and mailing list archives
All Wikipedia text
is available under the
terms of the GNU Free Documentation License