Skip to main content
PRL Project

An Intuitionistic Formalization of

The Elements - Book I

The Elements Cover

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.