QED manifesto
Proposal for a computer-based database of all mathematical knowledge / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about QED manifesto?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
The QED manifesto was a proposal for a computer-based database of all mathematical knowledge, strictly formalized and with all proofs having been checked automatically. (Q.E.D. means quod erat demonstrandum in Latin, meaning "which was to be demonstrated.")