Illuminating Euclid’s Elements with Formal Systems - View it on GitHub