Mark Coté
Papers:
113
Proof in Geometry: A Logical Approach