That is cool! I've been thinking about building a site that lets you explore a big graph of math proofs for a long time, since doing my pure math degree. Glad to see someone else has done something like it.