We present a formal system, E , which provides a faithful model of the proofs in Euclid’s Elements , including the use of diagrammatic reasoning.
Research Assistant
AI chat, annotations, notes & similar papers
No comments yet
Be the first to share your thoughts!