News for hackers. Stuff that matters.
Re:Lemma for the Fundamental Theorem of Galois Theory by galaxyLogic on Saturday March 15, 2025 @06:46PM (#43375646)
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.

There are no comments on this comment yet.