Il manifesto QED è stato il progetto internazionale di una banca dati informatizzata di tutte le conoscenze matematiche, formalizzate rigorosamente e con tutte le dimostrazioni verificate mediante software automatici (in latino QED è l'acronimo di quod erat demonstrandum).