Dependency Graph of Propositions in Euclid’s Elements [pdf]ocf.berkeley.edu2 pointsColinWright5 years ago