The QED Project

#math

#rust

#qed

#website

#database

Advance mathematical rigor, accessibility, and collaboration through computational mathematics.