I see. I was just thinking I would personally appreciate seeing a big graph of proof-dependencies. A bit like "Seeing the Forest from the Trees". Every mathema

I see. I was just thinking I would personally appreciate seeing a big graph of proof-dependencies. A bit like "Seeing the Forest from the Trees". Every mathematician is working on their own TREE, I assume. But might be useful if somebody was looking at how the FOREST is doing.