In line with Ken Manders’s seminal account of Euclid’s diagrammatic method in the “The Euclidean Diagram,” two proof systems with a diagrammatic syntax have been advanced as formalizations of the method FG and Eu. In a paper examining Eu, Nathaniel Miller, the creator of FG, has identified a variety of technical problems with the formal details of Eu. This response shows how the problems are remedied.
"The Eu Approach to Formalizing Euclid: A Response to “On the Inconsistency of Mumma’s Eu”." Notre Dame J. Formal Logic 60 (3) 457 - 480, August 2019. https://doi.org/10.1215/00294527-2019-0012