An Intuitionistic Formalization of
The Elements - Book I
Click on the image to navigate to Nuprl proofs of propositions from Book I of Euclid's Elements, as presented in The Thirteen Books of Euclid's Elements by T.L. Heath. Detailed disucssion of the work can be found on the publications page.
Image in the Public Domain, Link.