QED project
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