Inspired by the QED manifesto
The QED Project
A major scientific undertaking requiring the cooperation and effort of hundreds of deep mathematical minds, considerable ingenuity by many computer scientists,
{{ message }}
Inspired by the QED manifesto
