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
. The project seems to have died in 1996
, never having produced more than discussions and plans.