Search results for: 'formalizing the logic and proofs of book i of euclid'