Definitions from Wikipedia (QED manifesto)

▸ noun:  a proposal for a computer-based database of all mathematical knowledge, strictly formalized and with all proofs having been checked automatically.


▸ Words similar to QED manifesto
▸ Usage examples for QED manifesto

▸ Idioms related to QED manifesto
▸ Wikipedia articles (New!)
▸ Words that often appear near QED manifesto
▸ Rhymes of QED manifesto

▸ Invented words related to QED manifesto