News

ProofGraph has completed full Mathlib extraction and spectral analysis prototype. Here are the preliminary findings.

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.