## 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.