Dear FOMers, a student of mine plans to write a thesis on Euclidean geometry developed over intuitionistic logic. I would appreciate any reference to books, papers, or any other source on this topic. Thank you very much in advance for collaboration Giovanni Sambin