I love it when I search for something really niche and someone's already made it.
Here's a dependency graph of the propositions in Euclid's Elements, drawn by @itsthomson
ocf.berkeley.edu/~thomson/eucli…