The QED Project
A major scientific undertaking requiring the cooperation and effort of hundreds of deep mathematical minds, considerable ingenuity by many computer scientists,
The QED Project's Repositories
qed-project/project
The monorepo containing all code for the QED project
qed-project/.github