Mark Coté

Papers:
113 Proof in Geometry: A Logical Approach