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,
Pinned Loading
Repositories
Showing 2 of 2 repositories
- .github Public
qed-project/.github’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…