Euclid

exploring Euclid’s elements as computational structures