qed manifesto

/K Y UW1 D M AE0 N AH0 F EH0 S T OW0/

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

Translate “qed manifesto” into another language

Choose a language below to open the translator with English selected as the source language.