News

We’re kicking off development of ProofGraph — an open-source platform applying network science and spectral graph theory to the dependency graphs of formalized mathematics.