From Wikipedia, the free encyclopedia.
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.
See also
External links
