The QED Project

A major scientific undertaking requiring the cooperation and effort of hundreds of deep mathematical minds, considerable ingenuity by many computer scientists,

Pinned Repositories

.github
0 0 00
project
The monorepo containing all code for the QED project
Language:Rust2 0 00

The QED Project's Repositories

qed-project/project
The monorepo containing all code for the QED project
Language:Rust2 0 00
qed-project/.github
0 0 00